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