add .hgignore
Simple Coq file with proofs about subtyping
Improve the pretty printer
Test subtyping
More tests for subtyping
merging
algorithm meets specification: work in progress
Rough idea of reduction (error-prone!)
Added some informal description of the subtyping relation.
Auto clean up