adjust var initialization check for tuples

Recognize tuple assignments when checking if a var is initialized.
Also, recognize any assignments inside a tuple expression.
interpret tuple expression and tuple assignment
implement interpretation of tuple var declaration