Fix in the muRascal library: added the subject subtype check to
MATCH_LIST and MATCH_SET; otherwise, runtime errors in case of a
subject of the value type.
Added pattern matching tests: cases when a match can be false as the
subject dynamic type is not a subtype of the pattern type.