Issues with the "NAND gate of math": EML revisited

The author revisits EML (Elementary Mathematical Language), a minimal math-building system they previously described as the "NAND gate of math," and details several issues with it, including problems with recursive definitions, abstraction, and representing common mathematical concepts.