Types for binary operators.