GR-30, types update rules

Not for merge, just comments
ditto