Update and rename 1-23.rkt to 23.scm