I think we might want something other than dynamic_p like a
managing package or something, eg if we have more than one
dynamic types package (which we do now right?) a simple boolean won't really do it, I would think we would want something like "managing_application" which could be system, ams, dynamic-types, etc.
In any case, I think it's late for 5.2.