Corrected many bugs in unification and unification hints.