See Original text in context
method type_parameterized(Mu \obj --> Mu)
Returns the base metaobject from a parameterization given its resulting obj. Returns Mu if none was ever performed.
obj
Mu