More work on typechecker. Got details of functions, if, while, etc
working. Got basics of implicit checking working