import LIB/default-instruction-set.lm;
import LIB/default-primitives.lm;
import LIB/default-rules.lm;
import LIB/default-stdlib.lm;
import LIB/default-templates.lm;
type AB A | B; zero AB B;
main := λ. (: (tail(
(print (non-zero A))
(print (non-zero B))
)) Nil);