Cleaning up AC => LEM
removing unwanted \define
Cleaned up setmath.tex:

1. Changed wrong uses of "propostion" to "mere proposition".
2. Got rid of all manual `\mathsf`, such as `\mathsf{bool}`.
3. Replaced `\|...\|` with `\brck{...}`.

Whoever wrote this was kind of sloppy.