badformat -> 80col
Improves document formatting & code formatting
Makes first section top-level
More formatting
Formats code
Moves bad aligned equations into written form
adds line breaks
Fixes typo `nither`->`neither`
Fixes fitch proofs; adds fitch.sty to top-level
Expands upon example for finding inverse functions
replaces weird character in preamble