Returns a contract which accepts only values matching the given regular expression.

Returns a contract which accepts only identifiers which are free-identifier=? to id.

Like define/contract, but later versions of this library may allow disabling the contracts via a parameter or syntax parameter. This form will be useful for internal functions, to ease debugging during development, but with the (future) possibility of disabling the contracts in the final version, to avoid the performance cost of checking many contracts between internal functions.