* Fix a bug in the typechecking of eMH.
* Fix a bug in type externalization.
Merge pull request #1 from yurug/master

Merge updates from master