Re: [gambit-list] define-type with constraints