- Verification of Libraries 
  - [zlib](https://hackage.haskell.org/package/zlib)
  - [probability](https://github.com/nikivazou/probability)
  
- fix parser error message
  - Parse Errors [#241](https://github.com/ucsd-progsys/liquidhaskell/issues/241)
  - Liquid Haskell doesn't accept Haskell names containing ' (single-quote) [#273](https://github.com/ucsd-progsys/liquidhaskell/issues/273)
  - Error messages [#400](https://github.com/ucsd-progsys/liquidhaskell/issues/400)
  - Add list of reserved tokens

- Parse Propositional Variables in Refinements [#338](https://github.com/ucsd-progsys/liquidhaskell/issues/338)

- Combine GHC and Liquid Type Aliases [#381](https://github.com/ucsd-progsys/liquidhaskell/issues/381)

- Applying data type with wrong number of abstract refinement params could give better errors [#297](https://github.com/ucsd-progsys/liquidhaskell/issues/297)

- Export qualifiers from measure types [#302](https://github.com/ucsd-progsys/liquidhaskell/issues/302)

- systematically remove all error calls 

 NV: Not sure how easy this is, as it requires deep understanding of the code
    to distinguish dead code from our errors.