AfterEval -- top level method applied after evaluation

• Usage:

  X#AfterEval = f

• Inputs:
  • f, a function to be applied after evaluating a top-level evaluation result r of type X.
• Consequences:

  • The value returned result replaces the original for storing in the output variables and for printing