Make Defn.const_eq_ref try string equality before char equality.