- Add some comments
- Remove $s as they complicate desugarer output for no reason
- Remove an indirection, case_negative is now main