implement let, let rec and ifthenelse