• New command line interface with more convenient commands
  • New debug mode for terms
  • Java 18 (~ records and pattern variables)