Some constraints implementations (not used yet, actually). Will be used to implement constraints on schemas.