Remove Mpar from the syntax
Removed constants from the AST and made connectives n-ary
Update traversal to the new AST forms
Updated test to the current AST and refactored code