Fixes in unification. Had to change type repr.

  - Object literal types are (unfolded) structures from the beginning since
    there is no fear of recursion there. Keeping the type def env for the
    nominal types.

  - This simplifies unification, since now we are operating on fully unfolded
    types and so subst applications are done correctly.
Fix in unification.
Fixing some more examples