Metadata
=========

The script reads the shared Peano module's public metadata; the Nat
introduction and its conversions belong to 02-dynamic-code-generation.
curry.info(Peano) supplies the name, source file, types with their
constructors, and symbols.  Only the file's basename is printed.

Qualified lookup imports a module as needed: curry.symbol('Data.List.nub')
returns a Symbol and curry.type('Peano.Nat') returns a DataType.  A type
lives in metadata rather than as a module attribute.  Operators use item
lookup: M['=:='], with M bound to Prelude, where that operator is defined.

Run "make stage" at the repository root, then "./run" here.  expected.out
records stdout.  The script uses interpret:off and the C++ runtime so the
last section can read generated C++.  Continue with 04-static-compile for session control.  The guide's
session-control section covers these public lookups.

Internal: compiler products
---------------------------

The last section uses curry.inspect, a developer module outside the public
API, to find the ICurry and JSON files and read the implementation of add.
Only the stable first-line banner goes into expected.out; the complete
implementation goes to stderr.  Its details can change with the compiler.
