Update and rename assertions.ss to assertions.rkt