Finish STLC Chapter

Tada!
Clean up Equiv

It wasn't compiling, now it is
Remove silly repetition in chapter on tactics

Seriously, repeat, it's a tactic, use it Pierce!
Start StlcProp