misc edits
misc edits
qw Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
misc edits
misc edits
nice formatting for tutorial book