Specialize `TypeConflict` diagnostic

[Champii]

This diagnostic can be further specialize with thinks like

• InvalidArgumentType when an argument has a type conflict
• InvalidSignature when the number of arguments differs from the signature

And others to come