Fixed the typechecker by distinguishing legal left-hand side expressions for assignment. Addes a sample example for the legal LHS of assignment.