Changed the inconsistently named method in Code.
Prevent stack overflow when generating string representations of type.
Also enhanced the unique representation of the type to be truly unique
by capturing the type variable and wildcard "traversals" in the returned
string, which will correspond to capture conversion errors that would be
reported by the compiler.
Implemented return type check.