improve new or/c's stronger predicate
add an implementation of stronger to cons/c
make contract-stronger? recognize that predicates are stronger than
values that they accept (for certain, well-known predicates, anyway)
add a contract to colorize
improve contract-exercise so that it can take multiple arguments

(and can use one to generate values that might break another)