Support `define:` in classes
Re-indent and remove type comments
Use private fields and `define:` to save lines
Refactor check-aux.rkt