Added operator precedence for ** operator (power)
Added VDM translation util class
Added work on union of quotes
Quote literals are now registered as they are identified
Correction to test results
More work on union of quotes
Fix protecting against generation of empty quote interface
Improved codegen util interface
Added test for union of quotes
Minor changes to Interface templates used for union of quotes
Minor improvements to test output generation
Import clean up
Added test for null expression
Added generation of nil expression
Removing print outs
Added test cases for simple use of equals and not equals
Added some template clean up
Added naive generation of not equals expression
Added test for optional types
Added generation of optional types using "wrapper" classes for basic types