begin 8.5, add let and letrec in module