[NTG-context] Wrapping \type{}