Put out instance of the TypeInfo object associated with t if it hasn't already been generated
if not null, then expression for pretty-printing errors
the location for reporting line numbers in errors
the type to generate the TypeInfo object for
See Implementation
Put out instance of the TypeInfo object associated with t if it hasn't already been generated