[MLton] MLton calling convention and closure conversion

[Henry Cejtin]

MLton  never  needs  function pointers because, in the worst possible case, a
call turns into a case statement on all of the lambdas that could be  called.