added a type unification example
Merge pull request #6 from lmntal/add_demo

added a type unification example