Commit 2026-03-17 23:30 bce01987

chore: mark toSubfield, toSubmodule, toSubring as reducible (#36395) This PR marks IntermediateField.toSubfield, Subalgebra.toSubring and Subalgebra.toSubmodule as implicit_reducible, because these are all used to construct instances on substructures, and hence need to be reducible when unifying type classes. This allows removing at least 100 backwards compatability flags (possibly more because I haven't checked these exhaustively)