Specialise should use OrdList instead of Bag
Specialise uses Bag
to represent (a telescope of) floated dictionaries bindings. It heavily relies on the order of elements, thus it's a bad fit for Bag
. It should use OrdList
instead.
Part of #17421.