implement let-in statement
add test for let-in statement