Not really getting the argument, the above lib pretty much makes it a superset that adds types. And while I don't know the scope of the library, if they have a

Not really getting the argument, the above lib pretty much makes it a superset that adds types. And while I don't know the scope of the library, if they have a way to not allow dynamic features then you're already starting from a having a typed language (with one library dependency). Only now you can keep building up the type system in ways that benefit your project, unlike in most non lisp languages.