fix bug in Lamda.optimizeApply

fix bug in Lamda.optimizeApply: should declare var on params.
all variables in different lamda have unique name

similar to alpha convert, all variables in different lamda have unique name.