Replace constant lookup with proxy registration

[stex]

Currently, all available object proxies have to be defined inside Petra::Proxies to be found during proxy lookup.

Instead, it should be possible to register a proxy for a given set of classes.