It might make sense to translate existing simp sets in the environment into egg baskets (where we could also add additional rewrites, e.g. things like associativity that don't have a clear direction). Probably in a way that keeps updating if the simp set updates
It might make sense to translate existing simp sets in the environment into egg baskets (where we could also add additional rewrites, e.g. things like associativity that don't have a clear direction). Probably in a way that keeps updating if the simp set updates