start db example
adding listMem (via partition)
can not prove membership
adding abs-ref entry
asd
better inference for Data.Text.Search
asdasd
asdad
see TODO for module import plan
starting of new imports branch
cleaning up
more cleaning
more cleaning
asdasd
parse specs from source files in a different directory.

removed all the text spec files, keeping hquals for now
Merge pull request #73 from ucsd-progsys/listMem

List element via partition
Merge pull request #77 from ucsd-progsys/database

start db example
restoring datacon checks
moving back to bytestring
Merge pull request #78 from ucsd-progsys/imports

Imports