Some constraints implementations. Not used yet, actually. Will be used to implement constraints on schemas.