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

Closes PR13485.