eliminate consumer-x
no checked exceptions from map
expect invariant return in defer argument
expect invariant return in map argument
expect invariant return in recover argument
expect invariant returns in thens arguments
Merge branch 'rethink-signatures'