Let expressions, inferring pattern type from expression
