fix bug in translation of $& o f and f o $&

now ml_repl_stepTheory compiles fine