Rest assured, not all new languages take this route. On the other side of the spectrum, type systems get stronger and more powerful. Read about dependent typin

Rest assured, not all new languages take this route. On the other side of the spectrum, type systems get stronger and more powerful. Read about dependent typing in Idris, F*. Also, nearly all academic work focuses on improved type systems.