* Fix a bug in the typechecking of eMH.