Researchers at Stanford, Indiana, and Northwestern universities are working on improving Racket's type system and language features for systems programming. They aim to address limitations in existing languages like Racket and Rhombus with new tools such as Typed Racket, Pille, Treason, Herbie, cio effect handlers.