[non-primitives-eq] Doesn't work on Coin type in interface

[baymac]

The test expression in the comparison is of Coin type but it is misinterpreted as any type by the typechecker