Started working on typechecking