I fully agree, this is what I would go for in this case. The only caveat is that this is duplicating information that RTTI already has available, i.e. space ove

I fully agree, this is what I would go for in this case. The only caveat is that this is duplicating information that RTTI already has available, i.e. space overhead. That's not a strong argument, but still a pareto-optimal niche.