Update Unify.hs
cleanup