enable optimize declaration in verification.lisp, type declarations