idris RPN: reorder eval