Types for lets
Some Let bindings may be without Type information, the goal of this issue is to extract them from type inference and re-add them to let expressions
Some Let bindings may be without Type information, the goal of this issue is to extract them from type inference and re-add them to let expressions