> I don't know if that matters enough to make them a novel invention, though.

That's called structural typing, which is at least as old as OCaml, i.e. 25+ y.o.