Dialect or derivative of Scheme that includes an optional static type system among other special features. https://racket-lang.org/
Python GUI Support
GUI support for python, stuff like: Kivy, PyGoObject, GTK3, ect. We already have TKinter, maybe implement the same for other frameworks.