moved typechecking stuff to Parse