This package implements OCL types.