Introspection

I find very useful for developers to have a way to make use of new fragments that maps to the new introspection opcodes, very useful for making covenants.

DO you have an idea if this fits the purpose of Miniscript and, if yes, what could be a timeline, especially for an initial agreement on the spec? We are implementing in other languages descriptors/miniscript for Elements, so would be cool to work in parallel as soon there could be consensus