Grammar/style fixes

mostly just misplaced commas and some non-standard phrasing
Merge pull request #20 from gridaphobe/patch-1

Grammar/style fixes
adding abaksts fix
adding abaksts fix
adding type-alias bug in fixme.hs
not a bug, predicate params are upper case
adding distinct VV for SMT conversions
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
asasda
adding smtlib conversion script
fiddling with SMTLIB convert
more fiddling
asas
asdads
asa
asas
asas
another broken test
tmp fix
misc tweaks to web demo