Committing progress on the typechecker