Or maybe porting it to typed racket could be a worthwhile project.