Avoid now unnecessary type-check pass on let variable bindings. Delay type-checking lambdas so that lambda variables are more likely to get typed based on the source.
Avoid now unnecessary type-check pass on let variable bindings.
Delay type-checking lambdas so that lambda variables are more likely
to get typed based on the source.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@7173 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware