A polymorphic qualifier for the signedness type system.
The value is to be interpreted as signed.
The bottom type in the Signedness type system.
The value's signedness is not known to the Signedness Checker.
The value is to be interpreted as unsigned.