misc edits to text-internal
misc edits to text-internal
merging after pulling from master
add text invariants back for nicer example at the end
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell

Conflicts:
	docs/blog/2014-05-21-text-internals.lhs