Re: [NTG-context] type and typing comments for TeX and Lua