Rewrite the unification piece using core.unify

[turbopape]

We are using a hard-coded method to unify scheme forms with syntax-rules. One of the disadvantages of this is that it uses a global atom to store the unifications, which makes the evaluator absolutely not thread-safe.

If we can use core.unify instead, we might simplify code and make it the interpreter thread-safe.