1.0.18.4: use CAREFUL-SPECIFIER-TYPE when deriving the type COERCE