Bootstrap: added type inference module spec. Made Program extend NonGenericModuleType