Starting to type checker from scratch