Prioritize checking canonical_name for type inference

[smonicas]

Fix #2117.

pragma solidity 0.8.19;

interface Interface {
    struct ZZZ {
        int x;
        int y;
    }

    enum QQQ {
      A,
      B
    }
}

struct ZZZ {
    int x;
    int y;
    int z;
}

enum QQQ {
  A,
  B
}

contract A {
    function test(ZZZ memory zzz, QQQ qqq) external {
        zzz.z = 3;
        Interface.QQQ qqq2 = Interface.QQQ.A;
        Interface.ZZZ memory zzz2 = Interface.ZZZ(1,2);
    }
}

ir

Contract A
	Function A.test(ZZZ,QQQ) (*)
		Expression: zzz.z = 3
		IRs:
			REF_0(int256) -> zzz.z
			REF_0(int256) (->zzz) := 3(int256)
		Expression: qqq2 = Interface.QQQ.A
		IRs:
			REF_1(None) -> Interface.QQQ
			REF_2(None) -> REF_1.A
			qqq2(Interface.QQQ) := REF_2(None)
		Expression: zzz2 = Interface.ZZZ(1,2)
		IRs:
			TMP_0(Interface.ZZZ) = new ZZZ(1,2)
			zzz2(Interface.ZZZ) := TMP_0(Interface.ZZZ)