I think it'd be cool if object relationships weren't hardcoded to "inherits" and (sometimes) "implements". I wish contract systems were more expressive

Is the Rust way of doing traits + impl an example of something different in a positive way or do you have something else in mind?