Out-of-line character and numeric inequalities should type-check strictly.

This makes evaluated code less flaky, which includes anything that
was fopcompilable such as (DEFVAR *FOO-P* (< X Y Z))