Added

• make-stlib.shen for generating klambda/stlib.kl with explicit
  stlib.initialise-* / stlib.initialise setup code.
• make klambda-kernel and make klambda-stlib targets; make klambda now
  runs both.
• Encrypt is temporarily skipped by the standard-library KLambda build.

Changed

• Library sources moved from stlib/ to lib/, with the core standard
  library under lib/stlib/ and optional libraries under sibling directories
  such as lib/tk, lib/concurrency, and lib/ide.

Added

• ctxt side-condition support in datatype sequent rules.

Changed

• Refactored sequent rule compilation; added internal @c/@ch macro support for context/mode-aware cons forms.

Fixed

• Fix default definition of *absolute* which was breaking absolute/unabsolute.

Added

• absolute, unabsolute, and *absolute* for tracking absolute paths.

Changed

• Reader errors now include a contextual snippet based on *maximum-print-sequence-size*.
• YACC reports partial parse failures with a truncated residue for clearer syntax errors.
• Occurrence checks in Prolog/YACC now use occurs-check? consistently.

Changed

• fn defined for 0 place functions.

Fixed

• Removed unnecesary external symbols, arities and duplicated definitions
• Recover dynamic demod funcionality so that it is not updated through an eval that redefines it.

Fixed

• Bug in the handling of % and ! in the REPL.

Fixed

• More portable code for the application of user-defined macros

Changed

• Shen macros factorised resulting in a 2X faster reader.
• Use Shen/Scheme as the default implementation for building klambda.

Fixed

• Redundant factorisation eliminated.