Make (Set a) a subtype of (Sequenceof a).

Closes PR13485.
Closes PR12615.