[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