-Renamed unify.lisp to match.lisp
-Incorporated optima back into the proceedings
-Working-ish not/or goals
-Still no goal recursion (working on it after the cleanup)
-lookup on lists now handles the nil/nil/nil edge case without an additional traversal
-added ->key method to util.lisp
-split the match methods off into separate :collect and :do clauses
-Working revised and goal traverser.
-Still need to clean up this section (big duplication among the matchers)
-Said "fuck it" and implemented the full unifier from PAIP