intersects
Answer true if this TypeRestriction contains any values in common with the given type. It uses the A_Type.isVacuousType test to determine whether any instances exist in the intersection.
Return
True iff there are any instances in common between the supplied type and this TypeRestriction.
Parameters
test
The A_Type to intersect with this TypeRestriction