{Let expressions, inferring pattern type from expression}

WWW: https://github.com/janestreet/ppx_tydi
