Added Typed Racket implementation! But it's no faster...