Untyped arithmetic expressions from Pierce's 'Types and Programming Languages'