Replace let x = e in (t')e' with let x = e in e' in generated code where possible.
Replace let x = e in x with e in generated C.
Change `Arg/`Ret to the more general In/Out in the ML generation code.