Addition of size distros
When adding instances of subclasses of SizeDist, the resulting object should not be an instance of the class of one of the addends (as is the case now) but rather an instance of SizeDist itself or maybe the closest common superclass.