All proxies which are typed (names, occurrences, ...) should have the type represented as a property inside the proxy, rather than externally.