Adding examples
Merge branch 'master' into arbitrary_tags
Fix in lookupAmbientType
Adding keyVal refinement in getProp.

  - Fixes in Sub - unification
Fixes in unification, zipTypes
Merge pull request #58 from UCSD-PL/arbitrary_tags

Arbitrary tags