dean Sun, 05 Feb 2017 10:00:51 -0800
"by".....found it :)
: (let (A 1 B 2 C 3) (by val sort '(C A B))) -> (A B C)