Commit 2026-03-24 21:54 de9dbe64

chore(ENat): clean up deriving instances (#37096) This PR cleans up the deriving clause for ENat. in particular, the CharP instance was being derived before ENat had a AddMonoidWithOne instance, which corrupted the CharP instance. I added a few shortcut instances to the deriving, as this typically gives some speedup. This PR removes ENat.with_top and ENat.with_bot without deprecation, because they are now superseded by with_top and with_bot in the root namespace. In particular I think it would be harmful to add the deprecations, because without deprecations, we automatically switch to using the ones from the root namespace.