Added PlutusTx.SortedMap

[bezirg]

DO NOT LOOK HERE YET @paluh
Pre-submit checklist:

• Branch
  • Tests are provided (if possible)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
  • Changelog fragments have been written (if appropriate)
  • Relevant tickets are mentioned in commit messages
  • Formatting, PNG optimization, etc. are updated
• PR
  • (For external contributions) Corresponding issue exists and is linked in the description
  • Targeting master unless this is a cherry-pick backport
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested

[colll78]

Please add a tryLookup function. Typically, the use of optional types (i.e. Maybe and similar constructs) is considered an anti-pattern in most production onchain codebases. Often you want fast fail semantics and even in cases that you don't it is common to handle the not-found path with a continuation functions. In general, please expose 'try' variants for any functions which return optional types in the standard library because in practice the optional variants are almost never used.

Also please add the same for all other iterations of Map or structures with a lookup or find function. If you look at any production smart contract codebase you will almost never see the Maybe or sum type variants of such functions used. In practice, ex-unit optimization is simply too important.