includes unchecked warnings
fixes unchecked warning
rough integration of let dependencies

contains type errors
Merge branch 'let-dependencies' of github.com:SL2Team/sl2
fixed the let dependency analysis. (all tests green, mwhahaha!)
Merge branch 'master' of github.com:SL2Team/sl2