Please add some examples. I know what it is supposed to do, but I still don't find that paragraph hard to understand. What is "structural conformance"? Does it work for structs? (It doesn't.)

Grammar also needs a second look, but this can wait.