Update and rename truth-maintenance.ss to truth-maintenance.rkt