Rename Ex8.rkt to 8.rkt