Fix property vs. property-fun type mistake

Shrinking was expecting the actual function under test, `report-trial`
and `report-failure` were both expecting a property.
Update README with new properties syntax
Update README with progress
Add some TODOs in the README
Add for-all macro

`for-all` is now `for-all*`.
Update one test to use new `for-all` macro
Merge branch 'feature/for-all-macro'
Add codox plugin dependency
Add a bunch of generator doc strings
Update .gitignore with documentation
Document properties namespace
Add core documentation
Add gh pages Makefile
Merge branch 'feature/add-codox'
Rework README intro and remove an accomplished TODO
Merge branch 'feature/guide'
Update `pages` make target
Version 0.1.0
enable multiline for-all bodies
added 2-arity version of defspec and swapped arg order.