Update Unify.hs