Bytecode MEX: refactor the routines that display expressions in human-readable form

In particular, minimize the number of parentheses written, using the same
algorithm as in the preprocessor.