Add-on type systems have the disadvantage of being add-on, that means that the vast majority of code will not have any type information associated therefore rea

Add-on type systems have the disadvantage of being add-on, that means that the vast majority of code will not have any type information associated therefore reasoning what code accepts or returns is just as it is without the added type system. I was thinking of using Typed Clojure, but the advantages would unfortunately not translate to the libraries that I use.