How would you represent ERC20 or another standard, where the standard defines an interface that can have multiple independent implementations, in DType?
ERC20 and others define an interface in the form of an ABI, and specify some constraints on their behaviour, but do not prescribe an implementation. Many different contract instances can be accessed using this interface, without the caller having to care about how it is implemented.
DType, in contrast, seems to assume each type will have exactly one implementation.