GR-30, types update rules

Not for merge, just comments
What happens if the update fails?