Split off compilers module and include type-checking