working on typechecker; removing attempt at direct compiler