ported over with-constraints and defcontract.  For some dumb reason I had implemented with-constraints as a macro.  That is now corrected.
ported over with-constraints and defcontract.  For some dumb reason I had implemented with-constraints as a macro.  That is now corrected.

fogus/trammel