'the typing environment (aka \Gamma, which tracks types for variables and constraints/kinds for types)'