for
Answer a restriction like the receiver, but for a boxed, mutable object. If the restriction is already for boxed objects, return the receiver, whether it's also marked with the immutable flag or not.
Return
The new TypeRestriction, or the receiver.