Modeling the OCL Standard Library