Re-engineer rebindable syntax

See this ghc-devs post, and its follow-ups.

If we could re-engineer rebindable syntax in this way, it'd be a huge win.

Here are some bugs that it should hopefully fix:

Edited Apr 04, 2022 by Simon Peyton Jones

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information