is
Answer whether this TypeRestriction is a specialization of the given one. That means every value that satisfies the receiver will also satisfy the argument.
Return
Whether the receiver is a specialization of the argument.
Parameters
other
The other type restriction.