1.0.19.16: derive the type of (AREF (THE STRING X) Y) as CHARACTER