Add warnings for undef accesses

[psybers]

Especially for a tuple, if we declare it before assigning to it, we should be able to error (maybe in some cases, only warn?) and prevent a runtime NPE.

v: SomeTupleType;
v.attr = ...;

Currently there is no warning/error here, so it crashes at runtime.