chore(Topology/ContinuousFunction/Bounded): Rename instances (#10780)

All the unnamed instances here were very long, and Moritz recently linked one of these to a newcomer.

Also slightly clean up the `Lattice` instance

Author: YaelDillies