Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support