fix bug in let in .. let in .., a bit ugly
mistake about if-evaluation, it was done in substitution but it should be in eval' as now