When do we resolve types that have multiple definitions? #59
Description
The editors created new type names when there were the same names used with slightly different structures. For example, OtherId2Type. In this way they have preserved backward compatibility but have pointed out the discrepancy. If we want users to leverage tools for writing code frameworks this should be done soon.