I think you should check on the responses to Bruno Daniel's original
post, which suggest that
the features supplied by his code were already in Maxima, in the form of
translate() and compile()
commands, along with mode_declare.
Perhaps you should try whatever specific examples you have, using these
facilities. If you encounter
a problem in which symbolic or numeric computation is needed and cannot be
supplied by them, but is solved by Bruno Daniel's code, that would be of
some interest.
RJF