Even then, you only see the type signature when you are initializing the variable, not every time you use it. If you really want to see type signatures everywh

Even then, you only see the type signature when you are initializing the variable, not every time you use it. If you really want to see type signatures everywhere, you should use something like Hungarian notation which embed type information in the name. And you should disallow method chaining and having methods or properties as parts of expressions. But I would recommend just using an IDE instead.