Could you explain what the main differences are between this approach and Automatic Requirement Satisfaction in plain Swift using a Structural protocol? Safe to say that the original authors of that proposal will not be pushing for that design due to Google Brain's decision to deprioritize that work but I am curious if any of their ideas can be pulled into you current pitch since from the surface seems to address the same problem.