> but the decision to architect the system so that the intermediate formats are not accessible to plugin developers.

What do you mean exactly? GCC plugins provide access to all internal data structures.