Type-safe operands and expressions