I am wondering now if we should also provide the "%apply" primitive too,
to be able to choose the order...
 
The ability to choose the order seems quite valuable to me. Plus, there is a right-associative apply in the non-rev order in Ocaml's distribution (namely in ocamlbuild).