Starting to code the type checker from scratch