Exactly. Most implementation will ignore type declarations in safe code. Adding or removing those has no effect. SBCL honors type declarations. Thus it is defi

Exactly. Most implementation will ignore type declarations in safe code. Adding or removing those has no effect. SBCL honors type declarations. Thus it is defined behavior. SBCL defines it. I propose to give up the irrational fear of added services provided by SBCL and actually use it as an additional tool.