Unary +

TODO: Expand on this description, adding keywords and signature.

As part of the adoption of transreal numbers, where it is convenient to refer to +infinity, we have added the unary + operator. It checks that its single argument is a number, otherwise raises an error.