This package implements OCL values.