avoid pattern-match warnings, notably in scala3;

proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;

tuned --- accomodate scala3;

proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;

back to more ambitious scala-3.1.1 (see 8b7497992301);

tuned --- fewer warnings in scala3;

tuned -- avoid warnings for scala3;

tuned signature -- avoid warnings for scala3;

removed unused flag (see 25c6423ec538);

clarified versions;

documentation on diagnostic devices for code generation

more correct language

enable an E option suggested by Petar Vukmirovic

used HTTPS for SystemOnTPTP

moved from AFP to distribution

avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;

more operations; tuned message: Class.toString already says "class ...";

clarified signature;

tuned: avoid ambiguity in scala3;

clarified signature: avoid ambiguity in scala3;

clarified signature: avoid ambiguity in scala3;

more robust types (for scala3);

tuned for scala3;

proper indentation (relevant for scala3);

adjusted printing of type annotations to accomodate Scala 3

two new examples

pass constructor arity as part of case certficiate

tuned whitespace in generated code

tuned, centralizing case distinction at one place at the cost of modest duplication

clarified formatting, for the sake of scala3;