Update and rename ex1-9.rkt to 9.scm