Make DEFCONTRACT work on SBCL when there’s no doc-string.
Clean up ENSURE-GENERIC-FUNCTION usage, and DECLARE IGNORABLE all parameters for DEFREQUIREMENT and DEFGUARANTEE.
Use FDEFINITION instead of #', since at least SBCL only returns the GF for FDEFINITION.
Get rid of SHOULD-HAVE-CORRECT-METHOD- tests for now, since it’s tough to get right, and of minimal importance.
Add ABCL to the list of supported implementations.
No longer need CONTRACTED-DIRECT-SLOT-DEFINITION.
Make DEFREQUIREMENT do DEFGUARANTEE do nothing if the relevant checks are disabled.
Fix a mistake in conditionalizing forms.
Minor refactor to look cleaner.
Fix line wrapping of condition reports.