Right now, we have LHS for assignment of variables, fields, and array index. We also have corresponding cases for Accesses in the Expr type. We should just rename LHS to Ref and have accessor Expr type which contains a Ref so we don't repeat ourselves