Adding the module that will implement the type checker