[NTG-context] three issues with \setuptyping