Revert "Allow recursive references, unify their type with the outer-most type"

This reverts commit c33fdbb71b114b4ab6d9a18a1620da27f4dba1bd.
Show Empty Record Types