Alonzo is a super-minimal language with syntax almost exactly the same as Lambda Calculus itself. Alonzo heavily uses macros for defining more syntax and structures in itself, since Lambdas, Variables, Strings, and Macros are the only built-ins.