Recently on IRC: @woggle> leo: So, for read-only PMC variants, I'm presuming that it's okay to have the read-only variants have their own type number and type name (like was done for ConstSArray)...
My 2 c: A distinct type number would cause e.g. different MMD behavior and I'm not sure, if we want to duplicate MMD function code. Letting r/o types subclass the r/w types would change relative distances and also looks suboptimal. But I don't know yet, how to do it right. leo