CIP-0058? | Bitwise primitives (cardano-foundation#283)

* Add CIP

* Notation fix-ups

* Fix heading levels on use cases

* Rewrite how shifts work

* Clarify findFirstSet description

* Clarify representation

* Clarifications

* Replace FFS with TZCNT and LZCNT, add finite field arithmetic example

* Rewrite

* Fix formatting

* Apply suggestions from code review

Co-authored-by: Matthias Benkort <[email protected]>

---------

Co-authored-by: goverthrow <[email protected]>
Co-authored-by: Las Safin <[email protected]>
Co-authored-by: Matthias Benkort <[email protected]>