Indexed Reverse Polish Notation, an Alternative to AST

Higher-order logic and equality; multiple ways to use lambda calculus for logic