Allowing to enable/disable specific warnings, fixing set/get of dynamic types in conditional branches, checking correct types passed to called methods, coloring warnings and errors
Implement multiple return type-hints