Adding the Reject message to the protocol types
Merge pull request #22 from plaprade/reject-message

Adding the Reject message to the protocol types
Strict datatypes and normal-form convertion