Fix FLATTEN-PROGN and export symbols when they're quickloaded.