Test two examples of partial "let" generalization.
Exercise the case where not all of a let-bound variable's type is specialized.
Test nested "let"s
Test variable shadowing in lambda expressions
Test variable shadowing in let expressions