Re: [NTG-context] Re: referencing line numbers of a typing environment