Add subtraction (SUB) operator

The SUB (-) operator is a unary and binary operator that is postulated
to have an identity element for built-in C++ arithmetic types. In
addition, x - y - z evaluates to (x - y) - z, i.e. the binary
subtraction operator is left associative.