Generic arithmetic and declarations

Consider the following function:

(defun afunction (a) (declare (type (simple-array double-float (*)) a)) a)

It compiles fine in cl-user, but if I'm in antik-user, I get:

; in: DEFUN AFUNCTION ; (TYPE (SIMPLE-ARRAY DOUBLE-FLOAT (ANTIK:*)) ANTIK:A) ; ; caught ERROR: ; bad dimension in array type: * ; ; compilation unit finished ; caught 1 ERROR condition

So, the antik definition of * breaks declarations that use *.

Any way to fix this?

Thanks, Harvey