[NTG-context] \setuptyping and \type{}