Any typed language should always be improving at least because there will always be meaningful propositions which the type system cannot prove. As the language

Any typed language should always be improving at least because there will always be meaningful propositions which the type system cannot prove. As the language team develops ways to infer or preserve type information they may wish to modify semantics to express these things.