Semantic check for Let.