Refactor main.rkt.