Fixed errors in examples based on the stronger type check in connection with requiring "is subclass responsibility" definitions not to be private.
Fixed type errors related to the better checking of polymorphic types implemented by Nick. Still a few of the classes fail in type check but that is due to a bug that Nick has fixed so these should all be ok afterwards.
Undefined should be of any type in type checking, fixes #338
Map patterns not working with munion, fixes #340
Optional types masking type unions, fixes #341
Merge remote-tracking branch 'origin/pvj/main' into test
Merge remote-tracking branch 'origin/docs' into test
Merge remote-tracking branch 'origin/pvj/main' into ncb/development
Merge remote-tracking branch 'origin/development' into ncb/development
Account for is_ expressions in and clauses, fixes #342
Small correction to is_ type checks involving named types, fixes #342
Fix for generation of the function instantiation expression
Fix for generation of explicit naming for variable expressions and call statements
Updates to codegen test results related to generation of constructors
Changed the way constructors are generated
Added test to exercise generation of constructors
Merge remote-tracking branch 'origin/ncb/development' into pvj/main