Thanks for chiming in, David!
This is another important nexus of potential synergy. Thanks for including the summary so those unaware don't have to go rummaging.
- Dan --------------------------
FYI -- to add to your list:
SmallScript, which is an extended dialect of the Smalltalk language, has a full optional type system with dynamic type based binding (multi-methods). This allows optional runtime enforcement of interfaces and contracts.
It also provides multiple-inheritance of behavior and synthetic multiple-inheritance of structure through (under-the-hood) aggregation via concrete interfaces.
... <Great summary snipped>