Traits
Reading the current documentation about Mojo traits, they seem more like Java/C# interfaces that has to be implemented at type definition. Is there any plan for something similar to Rust traits/Swift protocols which can be implemented both at type and trait definition sites? They can also have mutiple implementations for non-overlapping subsets of concrete types of a generic type depending on some type parameter bound.
