Nominal2Debruijn.concat : env -> env -> env

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.