[dev-context] Update type-gyr.tex