Started to work on typechecker, working on data structures right now