A simple language.

- This should be merged into the example.
a sketch of what higher-order unification could be.

- The key thing to note is that unification variables
  are just functions that abstract over the rest of their
  environment.