Add a test case for ":: Constraint" kinds.