Operators and their typing rules