[gambit-list] define-type with constraints