Mathematics doesn't need to remain backward compatible.

IMO math is backward compatible by default unless you change the foundational axioms (rare occurrence).

In particular you can most of the time define morphisms between concepts.