Add an alias to main.rkt