Don't warn when invariants are disabled.
Move a macro definition out of package.lisp.
Fix indentation.
Fix LOOM-QPQ system connection.
Don't invoke FORMAT unless we have to.
Ignore parameters when they're not used.
Make it possible to only run the most specific precondition.