Fix some macro uses
-rw-r--r-- 91 .gitignore
-rw-r--r-- 201353 IEEEtran.cls
-rw-r--r-- 83 Makefile
-rw-r--r-- 36868 choice-case.svg
-rw-r--r-- 45236 choice-ifthenelse.svg
-rw-r--r-- 11040 clash.bib
-rw-r--r-- 19 clash.fmt
-rw-r--r-- 51243 c╬╗ash.lhs
-rw-r--r-- 292 latexmkrc
-rw-r--r-- 24855 mac-nocurry.svg
-rw-r--r-- 18280 mac.svg