Rename Ex2.rkt to 2.rkt