(define impc:ir:boolean? (lambda (type) (let ((t (impc:ir:str-list-check type))) (if (string? t) #f (if (member (modulo t *impc:ir:pointer*) (list *impc:ir:i1*)) #t #f)))))