Correction to type checking of set intersections
Type constraint fixes for card, len, mk_() and set ranges
More test file changes
Fix to constraints with elems expression
Another elems test result fix