[Dlang-internal] Is there any chance to introduce concepts/traits/typeClasses in dlang?

[sighoya]

and collision by multiple inheritance wasn't ever an issue which 
can be easily solved by scoping the super interfaces.
Another biworld are final classes and structs which seemingly 
equal in ther purpose, from a type theoretic viewpoint they 
represent the same type, so why have to version of the 
abstraction, choosing only structs as value or reference type 
would excitingly solve the issue.

Nevertheless, w can't changed everything in a backward-compatible 
way. I hope some of you are happy to discuss ideas about concepts 
in this thread.