add definitional soundness test suite
Merge branch 'develop' of github.com:digama0/mmj2 into develop