ENHANCED: Do string->term transformation in the application module
to compensate for operator declarations.  This is still only part
of the story; we actually need to resolve to the pengines's module.
How to do that?