de-camlification

[Henry Cejtin]

I  think  that one important point is that the mission of compilers should be
to  minimize  the  requirements  to  tune  code  to  a  given  compiler.   In
particular,  it  is bad if a compiler generates very bad code for curried (as
opposed to tupled) arguments, or vice versa.  Mind you, it isn't trivial, and
it  is  always going to depend on the code that the compiler writers actually
see, but we should remember the ultimate goal.