chore(order/category): Rename categories (#18657)
The Lean 4 naming convention forces us to rename the categories of orders. Instead of blankly appending `Cat` to the names, we proactively shorten the names. Incidentally, this gets them closer to the way they're referred in the literature.
* `Preorder` → `Preord` (the literature name is `Ord`, but Lean 4 already takes it)
* `PartialOrder` → `PartOrd`
* `BoundedOrder` → `BddOrd`
* `FinPartialOrder` → `FinPartOrd`
* `SemilatticeSup` → `SemilatSup`
* `SemilatticeInf` → `SemilatInf`
* `Lattice` → `Lat`
* `DistribLattice` → `DistLat`
* `BoundedLattice` → `BddLat`
* `BoundedDistribLattice` → `BddDistLat`
* `LinearOrder` → `LinOrd`
* `CompleteLattice` → `CompleteLat`
* `Frame` → `Frm` (the corresponding class is `Order.Frame`, but better be safe)
Co-authored-by: Jeremy Tan Jie Rui <e0191785@u.nus.edu>
