Begin setting up a modular type system