There is an extraordinarily minor typo: “PM-LIsp”

I point it out only because your work here is so good that it feels wrong not to smooth out any small splinters.

Thank you for making this!

Oi, thanks for the kind words and the catch! Updated (should take a few minutes to show up)

I think I maybe noticed another typo... The last two axioms don't have matching parentheses? It looks like one more is opened than closed if I counted right.