type checking for LET.
type checking: first version.