* unification working. tests passing. holy mess