Free TYPE declarations are ignored
(compile nil '(lambda (x) (locally (declare (fixnum x)) x)))
;;; Warning:
;;; ! Declaration of type
;;; FIXNUM
;;; was found for not bound variable X.
Although CLHS says "type declarations can be free declarations or bound declarations".