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