`omena-transform-egg` owns the optional e-graph rewrite boundary for selector
and computed-value rewrites. The core crate does not pull in an e-graph engine
yet; this boundary records the proof obligations that future egg-backed rewrites
must satisfy before they can enter the transform DAG.