(sort (fn (sm gr) (sm < gr)) somelist)
What are those plans for numbers in the functional position? pg's comments in the arc1 source are completely compatible with eds's system:
Comment 1 is about literal numbers as functions: (1) evaluates to 1
But that is not incompatible with comment two, which is about swapping first and second positions: (1 + 1) evaluates to 2
In fact, math-infix can only benefit if both were added to the language.