First pass at using core.unify for macro expantion
Add macro expansion with core.unify. All tests passing.
Clean up old pattern-lang.
Add proper reading for dotted lists