Add basic types for prop-based testing.
Add ex. 8.4.
Add ex. 8.5.