Adding compile-time type safety to operands; adding operators.