Add module to type system.