Fix unary operations for cases where the target value supports an implicit conversion to an lvalue that the arithmetic type also converts to (full mutual-compatibility check)