Hindley/Milner unification done