Use concrete types, avoid type unions

[Thibaut Lienart]

Out of the SnoopCompile gem, one note is to try to use SubString{String} explicitly and String (both of which are concrete types) and avoid Union{SubString,String} which isn't (and is not even a union of concrete types).