unstable sketch of derive_metacatamorphism_from_metacatamorphism was implemented