- Provide more flexible matching (eg the keys should match, and the classes of the values should match, but the values of each key do not need to be equal). This is to make the pact verification less brittle. This is a WIP. See details here
- Add XML support
- Create a test matrix to ensure compatibility with implementations in other languages