Grammar and error fixes

* Fix protocol buffers and misspelling. Fixes #150
* Fix non-coincidence. Fixes #152
* Fix danglers. Fixes #153
* Fix PBF. Fixes #150