The type counts have to be updated eagerly. This was missing from the realize-instances code before, leading to bugs further down the line.
The type counts have to be updated eagerly. This was missing from the realize-instances code before, leading to bugs further down the line.