change type of foldi_right (before foldi_cont).
add optimizations
clean stuff, add optimization, fix bug in mkMLlet