I would like to propose a new SRFI for property testing that extends the
SRFI 64 test suite API. The HTML file is attached, and the working
repository and sample implementation can be found at:
https://github.com/a2378/srfi-property-testing

This is my first SRFI so please excuse my mistakes.