[NTG-context] interaction between header texts and typing environments