Type unification can recurse forever

[simonlindholm]

A Type can be a pointer to itself. This can result in result in infinite recursion during unification.

(I don't have a concrete testcase for this, just theorizing. a = &a; b = &b; a = b might work.)