Add reference counterexamples.csv
Check proof table against counterexamples
Allow creating properties; default to boolean-valued
Improve theorem creation
Fix spaces where nil query for new properties
Add Proof::Tree#excise