> I think we should try to encode types in a common notation...

This sounds similar to linked data formats like JSON-LD