pythological/unification

Straightforward unification in Python that's extensible via generic functions.