Add the type system of the terms underlying the model.