Create a RecType, normalizing its contents.
Create a RecType, normalizing its contents. This means:
type T = z.T
on the spine of the type
where z
refers to the created rec-type is replaced by
type T
. This avoids infinite recursons later when we
try to follow these references.
TODO: Figure out how to guarantee absence of cycles
of length > 1