Added design formula stuff and reorganized functions to fit the Racket syntax.