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.
Merge remote-tracking branch 'origin/pvj/main' into test
Merge remote-tracking branch 'origin/docs' into test
Merge remote-tracking branch 'origin/development' into ncb/development
Account for is_ expressions in and clauses, fixes #342