well, that's what we have now ("wrapper classes that hold the synthetic type along with the associated collection")