added a type unification example

Unification over types of simple functional programs,
encoded using hyperlinks for type variables.