This sounds a bit like rebuilding popular theories on a term-rewriting basis in order to open up more possibilities that are rubbing up against the limitations

This sounds a bit like rebuilding popular theories on a term-rewriting basis in order to open up more possibilities that are rubbing up against the limitations of the current modelling paradigm. Sounds interesting - I think term rewriting as a framework is quite conducive to creating high complexity models.