To me the biggest challenge here is that the internal representation of a model is very different from one PPL to the next. In a sense, it’s the defining characteristic of a PPL.
How could something like this be scoped in order to be as broadly useful as possible, while minimizing constraints imposed on future development?