redex: add variable-not-in to derivation generator
redex: refactor pattern unifier

- swap mutable for immutable hashes represetning eqs
- most functions now return p*e pairing patterns with envs
redex: cleanups after refactoring unifier