FIX: stack bad layout when REDUCE is used with /into option from interpreter.
TESTS: unit tests for REDUCE and COMPOSE with refinements enabled.