Some new documentation
Added Documentation to Protocols package.
Fixed documentation errors
Merge pull request #1 from jfdm/documentation

Documentation
Use proof search, not reflection
Fix erasure warnings, make Handler total