AFAIK, Symbolics Genera mostly ignored all static type declarations at compile-time. Thus there was no speed effect from static type declarations.