Update and rename Comet.rkt to Comet