Term

Pull out term handling, variable handling, and unification to the `term` library.  LogPy was serving both as a logic programming library and as a standard interface for terms.  These are separate.

See http://github.com/mrocklin/term/