Re: [armedbear-ticket] [armedbear] #207: DECLARE should signal conditions when type declarations are violated (was: DECLARE should signal conditions when type declaration are violated)