`RULE-10-1`: Handle missing unary operations

[lcartey]

Affected rules

• RULE-10-1

Description

We are missing unary operations:

• The ~ complement operator is not currently supported.
• ! operator is reporting the incorrect essential type - it should be boolean.

Example

~1; // NON_COMPLIANT[FALSE_NEGATIVE] - the ~ operator is not currently supported
bool x = false;
!x && true; // COMPLIANT[FALSE_POSITIVE] - !x should have essential type bool and so should be permitted