some progress with Bytestring.hs
added new todo test for pointer arithmetic. requires proper embed, NOT inside haskell but inside fixpoint, as late as possible, AFTER type checking maybe...?
adding another quirky ptr test tests/pos/ptr2.hs
some progress with bytestring
done with maximum and minimum
any, all, max, min etc. all done. onto scan.
ugh. need to revisit createAndTrim to deal with scanl and friends, to show that output size equals input size + 1
really nice use of abs-pred/hoffery
remove unused qualifiers, document a bug.

mining qualifiers that were also explicitly provided seems to break fixpoint..
adding cont1
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into text

Conflicts:
	include/Foreign.spec
	include/Foreign/C/Types.spec
	include/Foreign/ForeignPtr.spec
	include/Foreign/Ptr.spec
	include/Foreign/Storable.spec
	include/Prelude.spec
fallback method for finding specs when ghc doesnt find anything