Re: [NTG-context] apply typing environment to \typebuffer