Started working on typechecker