[plt-dev] Changes to the contract system

On Feb 6, 2010, at 3:40 PM, Carl Eastlund wrote:

> I have just committed a change to the contract system which provides a
> new interface for constructing custom contracts, as well as a new
> underlying representation for contracts to support this interface.
> For the purpose of most developers, very little will change; all
> existing contracts will continue to function as they have.
> 
> There are three main user-facing changes.
> 
> One, all flat contracts (other than constants, such as numbers and
> strings) may now be applied as predicates.

Would it be possible to turn the contract 5 into (curry = 5) and to turn "hello world" into (curry string=? "hello world") in these cases? 

(Oh and how are hygienic ACL2 macros doing -)