Select.qual originals are now attached to quals, not to selects

This is better than the original approach, because it is resistant
to situations when a select is typechecked, then disassembled and reassembled
(e.g. like in the adjusted test).