Shorten synopsis
Remove dependence on Applicative instance of ReadP
Add more useful info to parsing failures in tests
Fix some bugs
Add monad for testing