[wrapper] Add support for old operator

[n-osborne]

This issue proposes to add support for the old operator in the wrapper plugin.

For now, terms containing an old operator are simply skipped.

Clément has already some code here using the marshalling technic described in his thesis and the paper here. That could be a very good starting point.

There is some rebasing to do to begin with.