[NTG-context] bug in \type?