You can run a friggin full 32 bit lisp on the untyped lambda calculus!

https://woodrush.github.io/blog/lambdalisp.html