Export more symbols.
Typo.
Just use MAKE-IMPLICATION.