verify that class instances satisfy the class spec
more tests
fix substitution issue in datacon specs
removing rAppTy
done with radix
update README.md
update cabal file to only build liquidhaskell once
done fiddling with Search.hs
a few more modules down...
down to 2