Assertion list for term "match in type".

Results from Ascent++: 2
value (aspect of expression) CapableOfmatch in type 0.25
value (aspect of variable) CapableOfmatch in type 0.25