Semantic checks for Equal.
Semantic checks for Variable_LValue, Variable_RValue.
Check for lists.