Main exporting module is now main.rkt for easier requiring.