Coarse-graining support: Support.CoarseGraining.MagicIdentities.MuOrdering

Imported from the Apache-2.0 CoarseGraining development at commit c7ddd76c08ade64fed1b8d2ca51be14dfee8deb4.

MuOrdering (aggregate re-export)

Previously a monolithic module; now split along thematic boundaries into the files imported above. Shim for backward compatibility.