Higher 0.2.

Higher 0.2, now with [example code][examples].

[examples]: https://github.com/ocamllabs/higher/blob/0.2/examples/README.md