[LudwigNagasena]

You still need all of that. You just have to store that information in documentation and do analysis in your head instead of relying on a static analyzer.

[ReflectedImage]

No, you really don't. Static typing is very complex and error prone compared to dynamic typing.

There is a lot less stuff that needs remembering.