i think adding interfaces that are simply enforced at compile time would be a good start

You could create a new type like Dynamic(InterfaceName) that handles dynamic dispatch somehow