extend semantics of 'basestring' typed variables to represent exactly bytes/str/unicode but no subtypes
