More library additions

[YarinHeffes]

To be broken down into individual PRs and then closed.

Progress:

• float printing Removed suffix from float string representations. #1359
• monads Monad extension #1356
• monoids Additional monoid functions #1358
• try-into Additional try-into functions #1357
• ord- collection features
• set-related features
• remaining features

[Izaakwltn]

These changes look good-

I'm ready to approve it with

1. An adjusted commit history (squash merges, reverts, wip commits)
2. add some tests for new functions, especially in ord-tree and ord-map, potentially for try-as and unwrap-as as well

[Izaakwltn]

remove ignores

[stylewarning]

I think we'll want to break this PR up into a few logical chunks. Large sweeping library additions of unrelated functionality are usually too bikesheddable and contentious to review.