Typechecker exports TypeMap(..)