TODO.md

1. Fix how Failure Error is rendered -- make it look like a TypeError.

2. fail errors not showing up as build breakers?

/Users/rjhala/research/liquidhaskell-tutorial/src/Tutorial_02_Logic.lhs:36:10: error: Failure Error: Binder Tutorial_02_Logic.ax6 declared to fail is used by Tutorial_02_Logic.flogbert | 36 | {-@ fail ax6 @-} | ^