rename data con arguments
tagBinder now passes
allow many type specifications, seperated by comma
strengthen more types in Data.Text

still need to prove the stronger types for `init` and `inits`
Data.Text.init checks again
assumes for integral
bunch of updates to Data.Text.Lazy and strengthening of Data.Text.splitAt
add type for Lazy.replicate
fix up Lazy.pack
loosen package constraints to minor version, add vector to make tests pass out of the box
new demo
add hquals for Data.Text.Internal and Data.Text.Lazy.Internal

Lazy.splitAt types quite easily now, as do the mapAccums.

this requires a patch to fixpoint to use the fully-qualified names since Data.Text has a name conflict with Data.Text.Lazy
new test
more Text.Lazy functions
talking-about-unique-sets
stronger spec for Data.Text.{inits,tails}
strengthen spec for Data.Text.Lazy.tails
impossoble
adding listMem (via partition)
can not prove membership