Adding property-based tests instead of trying to flush out everything with example-based ones

[stijnmoreels]

Is your feature request related to a problem? Please describe.
We have several cases around the Arcus repo's where we have a lot of example-based tests to try to describe a functionality that would be better expressed in properties.

Describe the solution you'd like
Start with a very simple, very easy example because, since we're in Arcus, we should make sure that everything is understandable for both the starters and seniors.

Additional context
https://www.codit.eu/blog/property-based-testing-with-c/
https://www.codit.eu/blog/f-coin-change-kata-with-property-based-testing/
https://www.codit.eu/blog/property-based-security-testing-in-f/