- Fixed display of axiomatic definitions
- Fixed unmarshalling and display of composition of operations.