add contracts to the "with-" macros in redex/pict
fix a docs bug

(and change a case-lambda to a regular lambda)