Update and rename facts.ss to facts.rkt