count None return types as concrete; None means that it *always* returns an error.
added filtering for Union(ASCIIString,UTF8String)