yay, ch00 done.
h01 done.
zbog Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell