Added typing rules for unary arithmetic operators.