Better reporting for rejected properties.

This helps with #20 and #15. As for the latter, I still don't know whether to provide special handling for assertion-based tests or not.
Forces string tests to return Bool.
Adds a warning on the expectations of properties.
Merge.