& base :print! ("Hello from Prelude")

& I can't figure out why I need this, but I do
& Otherwise the validator won't close over `base`
let base = base

fn add (x as :number, y as :number) -> base :add (x, y)

fn dec (n as :number) -> base :sub (n, 1)

fn sub (x as :number, y as :number) -> base :sub (x, y)

fn print!(x) -> base :print! (x)

#{add, dec, sub, print!}