extend semantics of 'basestring' typed variables to represent exactly bytes/str/unicode but no subtypes
reduce number of distinct error format strings a bit