Bodies inside expressions
Implement typechecking for built-in operators