plusGRE can be leaky

The fields of GlobalRdrElt are not strict and therefore plusGRE can lead to thunk leaks as the values are not forced after being combined together.

In particular I have seen a build-up of thunks in the gre_imp field. I observed this using ghc-debug on ghcide.

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