Cabalize ext-core tools I cabalized the ext-core tools, so now they can be built as a library. The driver program has to be built separately. Also updated genprimopcode to reflect the new module hierarchy for the Core tools.
External Core typechecker - improve handling of coercions Reorganized coercion-related code in the typechecker (this was brought about by typechecking the Core versions of the optimized GHC libraries.) A few miscellaneous changes (fixed a bug in Prep involving eta-expanding partial applications that had additional type arguments.)
Revive External Core typechecker The typechecker works again! Yay! Details upon request.