Classes Performative and Protocol now contain constants

Instead of them being all inside the ACL class. ACL class was deleted.
Test to verify that the message matching works.

Spoiler: it does.
Updated the classes that relied on the ACL class (now named
Performative and Protocol).