some notes on higher-order unification.

- mainly that (as I expected) it isn't as simple as
  I had hoped.