Hi, I have redirected the page Type equivalence that you recently created to Type system, which contains a more broad overview of typing schemes. If you wish to contribute more to this subject, please see Nominative type system or Structural type system. Thanks! '''''' / 