Logpy start

Introduces a LogPy based `refine` function.

This work replaces sympy's unify module with an external dependency, [LogPy](http://github.com/logpy/logpy)