[MLton] MLton calling convention and closure conversion

[Henry Cejtin]

That (allocating variable-sized object on the stack and not reclaiming the
space when they are dead) would definitely violate the safe-for-space
criterion that MLton works hard to maintain.