fixed up unification to reflect miller progressive algorithm
removed an excess comment
sharing the raising code
added gvar_gvar_diff case
possibly finished unifier. examine this in detail
added an exists case for constraint generation