3285: reorder imports

Stream: PR reviews

[Yury G. Kudryashov]

#3285 reorders imports so that data.set.basic imports order.bounded_lattice. It touches 22 files, so I'd prefer to have it merged or declined before it rots.

[Johan Commelin]

It's on the queue now.