Some minor typo fixes. Onto property based testing
Start on Chap 8 - property based testing