lc-with-arithmetic is the basic version and consists of the (pure, untyped) lambda calculus plus some arithmetic.
(\f.\x.f(f(x))) (\f.\x.(f(f(f x))))
lc-with-definitions adds function definitions to make it easier to create examples such as Church numerals. I also added instructions for first time visitors.