Delete obsolete cross-compiler stubs
don't let concatenate transform introduce uncontrolled gensyms
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))