fix package:hegg
Fixed point newtype.
Ideally we should use the data-fix package, but right now we're
rolling our own due to an initial idea to avoid dependencies to be
easier to upstream into GHC (for improvements to the pattern match
checker involving equality graphs). I no longer think we can do that
without vendoring in some part of just e-graphs, but until I revert
the decision we use this type.