[specs] attempt at encoding specifications, need to turn on contracts
[specs] turned on contracts, checking a few properties
[spec] all contracts are go
[specs] sized-string and summary combinator revised
[specs] using expr-or-seq? now
[specs] added wimpy contracts\nThere is no choice but to test...
[specs] removed spec? predicate
[specs] clarified a TODO item
[specs] removed unused require
[specs] vertical alignment
Merge pull request #22 from bennn/string-specs

String specs