ASH optimization shouldn't assume that types are numeric types

[gb]

The currently last COND clause in ACODE-OPTIMIZE-ASH tries to inline some calls to ASH based on information about the arguments' types; it erroneously assumes that if the types are subtypes of FIXNUM, they must be represented as NUMERIC-CTYPEs in CCL. Types specified as (e.g.) (MEMBER 23 5) are subtypes of FIXNUM that aren't represented as NUMERIC-CTYPEs.

This clause in ACODE-OPTIMIZE-ASH shouldn't make this assumption.

see  http://clozure.com/pipermail/openmcl-devel/2012-November/013919.html

[gb]

(In [15517]) In last clause of ACODE-OPTIMIZE-ASH, don't assume that types are canonicalized as NUMERIC-CTYPEs. For now, punt if they aren't. TODO: find maximum/minimum values for tother cases.

Fixes ticket:1031.