Investigate how extended types interact wtih singletons

We need to check whether we actually get a proxy-metaobject. This needs to be checked for the various ways of creating singletons, e.g. the constructor approach and the ctor  based one.

We should  probably also investigate how imperative registration behaves in this context