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