+ '(integer 0 (128))
+ '(double-float 0d0 (1d0))
+ '(single-float (0s0) (1s0))
+ '(or (eql 1d0) (eql 10d0))
+ '(member 1 2 10)
+ '(complex (member 10 20))
+ '(complex (member 10d0 20d0))
+ '(complex (member 10s0 20s0))
+ '(or integer double-float)
+ '(mod 1)
+ #+sb-unicode 'extended-char