Removed some unnecessary colons from typed racket code