stream.err

--- opening "stream.ma" ---
--- scope checking ---
scope check error: Stream
/// cons
/// Identifier Nat undefined