Correction to externals clause type checking
Further correction to externals clause type checking
Correction in TraceExpander
Changes to the way named type invariants and the rational number type are represented in the IR
Updated the type assistant with utility functionality to handle numeric types
Updated the expression assistant with functionality to construct different types of 'is'-expressions
Updated the number dereference method handle rational numeric types
Improved IR generation of the 'is' expression
Updates to the test results. Now the values of quotes are also registered if the quote type only appears
Now the quote value is also registered when the quote type is IR generated
Added test to exercise generation of the 'is'-expression when type checked type is a named invariant type
Added a 'is'-expression transformation to handle the case where the checked type is a union type
Added test to exercise generation of the 'is'-expression for recursively defined named type invariants
Improved generation of the 'is'-expression when the checked type is a union type
Added test exercising generaiton of the 'is'-expression when the checked type is the union of nat and bool
Codegen cleanup
Merge remote-tracking branch 'origin/ncb/development' into pvj/main