Title: Integrity Constraints on Rich Data Types