An Interface to LFPL Prototype Compiler by Nick Brown(example: quick)
nil(int) | cons(d,p,t) => match split(p,t) with [u,v] => append(sort(u),cons(d,p,sort(v)))