Discussion on answer by Steve Jessop: Language constructs to reduce inadvertent interface implementation in purely structural type systems?

Imported from a comment discussion on https://langdev.stackexchange.com/questions/4318/language-constructs-to-reduce-inadvertent-interface-implementation-in-purely-str/4323#4323