The skeleton of the type-checking module.