adjust contract system to use (listof any) when it sees
the list? predicate

(so that random generation and contract stronger work better)