Create a type ref with given initial denotation. The name of the reference is taken from the denotation's symbol if the latter exists, or else it is the given name.
Create a type ref with given initial denotation. The name of the reference is taken from the denotation's symbol if the latter exists, or else it is the given name.