Add exercises of chapter 03.
Add type class constraint to `palindrome`.
Fix typos.
Merge branch 'ch03'