minus
Create the asymmetric difference of the receiver and the given A_Type. This is the restriction that a register would have if it held a value that satisfied the receiver, but failed a test against the given type.
Return
The new type restriction.
Parameters
type
The type to exclude from the receiver to create a new TypeRestriction.