Try syntactic equality first in conversion checking