Use header file to share types between code and property tests.