Implement Quickcheck testing for domain types

[uliSchuster]

For automatically testing creating and validation of the domain types, Quickcheck tests appear appropriate. To implement them, we need to

• define properties that must hold for each type, especially about the invariants that the smart constructors are supposed to guarantee
• write Arbitrary instances to make Quickcheck work
• write the properties to be tested
• write the test fixture and test suites.