Merge pull request #12 from gridaphobe/master

Add package constraints to match liquidhaskell
use fully qualified names in fixpoint
misc tweaks
misc tweaks
asd
moving some generic instances into fixpoint
make Bool a Predicate instance
twiddle
Merge branch 'master' of github.com:ucsd-progsys/liquid-fixpoint