Ignore latexmk stuff
Different arrows, better spacing, use braces for environments
Use set names instead of vars in intro boxes
Reduce in type rules if needed, plus notation tweaks
Fixed sizing
Preliminary stuff about eliminators, etc
Normalise all terms before adding to the environment