Add TODO
Fix
TODOs and Peter's feedback in Haskell Interface
Static Analysis revamp
Add TODOs
Abstract, no negative attitude
Fix abstract
Don't say reify in abstract
Better phrasing
Add TODO