Added the basic operators to make sure they type-check.