This function will be useful to implement certain typing rules that concatenate environments together. For example, in certain formulation of pattern-matching, typing a pattern returns an environment fragment, to be concatenated onto the current environment.