Began sketch of a typechecker