diff --git a/executable_semantics/interpreter/action.cpp b/executable_semantics/interpreter/action.cpp
index 307d7b269c7a..1494aa03c23d 100644
--- a/executable_semantics/interpreter/action.cpp
+++ b/executable_semantics/interpreter/action.cpp
@@ -56,18 +56,6 @@ auto Action::MakeValAction(const Value* v) -> Action* {
   return act;
 }
 
-auto Action::MakeExpToLValAction() -> Action* {
-  auto* act = new Action();
-  act->value = ExpToLValAction();
-  return act;
-}
-
-auto Action::MakeDeleteTmpAction(Address a) -> Action* {
-  auto* act = new Action();
-  act->value = DeleteTmpAction({.delete_tmp = a});
-  return act;
-}
-
 auto Action::GetLValAction() const -> const LValAction& {
   return std::get<LValAction>(value);
 }
@@ -84,22 +72,8 @@ auto Action::GetValAction() const -> const ValAction& {
   return std::get<ValAction>(value);
 }
 
-auto Action::GetExpToLValAction() const -> const ExpToLValAction& {
-  return std::get<ExpToLValAction>(value);
-}
-
-auto Action::GetDeleteTmpAction() const -> const DeleteTmpAction& {
-  return std::get<DeleteTmpAction>(value);
-}
-
 void Action::Print(std::ostream& out) {
   switch (tag()) {
-    case ActionKind::DeleteTmpAction:
-      std::cout << "delete_tmp(" << GetDeleteTmpAction().delete_tmp << ")";
-      break;
-    case ActionKind::ExpToLValAction:
-      out << "exp=>lval";
-      break;
     case ActionKind::LValAction:
       PrintExp(GetLValAction().exp);
       break;
diff --git a/executable_semantics/interpreter/action.h b/executable_semantics/interpreter/action.h
index e1727a2a3e18..2ba17c5fe481 100644
--- a/executable_semantics/interpreter/action.h
+++ b/executable_semantics/interpreter/action.h
@@ -20,8 +20,6 @@ enum class ActionKind {
   ExpressionAction,
   StatementAction,
   ValAction,
-  ExpToLValAction,
-  DeleteTmpAction
 };
 
 struct LValAction {
@@ -44,15 +42,6 @@ struct ValAction {
   const Value* val;
 };
 
-struct ExpToLValAction {
-  static constexpr ActionKind Kind = ActionKind::ExpToLValAction;
-};
-
-struct DeleteTmpAction {
-  static constexpr ActionKind Kind = ActionKind::DeleteTmpAction;
-  Address delete_tmp;
-};
-
 struct Action {
   auto tag() const -> ActionKind;
 
@@ -69,8 +58,6 @@ struct Action {
   auto GetExpressionAction() const -> const ExpressionAction&;
   auto GetStatementAction() const -> const StatementAction&;
   auto GetValAction() const -> const ValAction&;
-  auto GetExpToLValAction() const -> const ExpToLValAction&;
-  auto GetDeleteTmpAction() const -> const DeleteTmpAction&;
 
   void Print(std::ostream& out);
 
@@ -86,9 +73,7 @@ struct Action {
   std::vector<const Value*> results;
 
  private:
-  std::variant<LValAction, ExpressionAction, StatementAction, ValAction,
-               ExpToLValAction, DeleteTmpAction>
-      value;
+  std::variant<LValAction, ExpressionAction, StatementAction, ValAction> value;
 };
 
 }  // namespace Carbon
diff --git a/executable_semantics/interpreter/interpreter.cpp b/executable_semantics/interpreter/interpreter.cpp
index 663838d4a638..73f2a4dc6b82 100644
--- a/executable_semantics/interpreter/interpreter.cpp
+++ b/executable_semantics/interpreter/interpreter.cpp
@@ -26,8 +26,7 @@ State* state = nullptr;
 auto PatternMatch(const Value* pat, const Value* val, Env,
                   std::list<std::string>*, int) -> std::optional<Env>;
 auto Step() -> void;
-auto GetMember(Address a, const std::string& f, int line_num) -> Address;
-
+auto GetMember(const Value* v, const std::string& f, int line_num) -> Address;
 //
 // Auxiliary Functions
 //
@@ -642,16 +641,15 @@ void StepLvalue() {
       if (act->pos == 0) {
         //    { {e.f :: C, E, F} :: S, H}
         // -> { e :: [].f :: C, E, F} :: S, H}
-        frame->todo.Push(
-            Action::MakeLValAction(exp->GetFieldAccessExpression().aggregate));
+        frame->todo.Push(Action::MakeExpressionAction(
+            exp->GetFieldAccessExpression().aggregate));
         act->pos++;
       } else {
         //    { v :: [].f :: C, E, F} :: S, H}
         // -> { { &v.f :: C, E, F} :: S, H }
         const Value* str = act->results[0];
-        Address a =
-            GetMember(ValToPtr(str, exp->line_num),
-                      exp->GetFieldAccessExpression().field, exp->line_num);
+        Address a = GetMember(str, exp->GetFieldAccessExpression().field,
+                              exp->line_num);
         frame->todo.Pop(1);
         frame->todo.Push(Action::MakeValAction(Value::MakePointerValue(a)));
       }
@@ -718,9 +716,10 @@ void StepLvalue() {
     case ExpressionKind::AutoTypeLiteral:
     case ExpressionKind::ContinuationTypeLiteral:
     case ExpressionKind::BindingExpression: {
-      frame->todo.Pop();
-      frame->todo.Push(Action::MakeExpToLValAction());
-      frame->todo.Push(Action::MakeExpressionAction(exp));
+      std::cerr << "Can't treat expression as lvalue: ";
+      PrintExp(exp);
+      std::cerr << std::endl;
+      exit(-1);
     }
   }
 }
@@ -820,18 +819,18 @@ void StepExp() {
       if (act->pos == 0) {
         //    { { e.f :: C, E, F} :: S, H}
         // -> { { e :: [].f :: C, E, F} :: S, H}
-        frame->todo.Push(
-            Action::MakeLValAction(exp->GetFieldAccessExpression().aggregate));
+        frame->todo.Push(Action::MakeExpressionAction(
+            exp->GetFieldAccessExpression().aggregate));
         act->pos++;
       } else {
         //    { { v :: [].f :: C, E, F} :: S, H}
         // -> { { v_f :: C, E, F} : S, H}
-        auto a =
-            GetMember(ValToPtr(act->results[0], exp->line_num),
-                      exp->GetFieldAccessExpression().field, exp->line_num);
-        const Value* element = state->heap.Read(a, exp->line_num);
+        Address element =
+            GetMember(act->results[0], exp->GetFieldAccessExpression().field,
+                      exp->line_num);
         frame->todo.Pop(1);
-        frame->todo.Push(Action::MakeValAction(element));
+        frame->todo.Push(
+            Action::MakeValAction(state->heap.Read(element, exp->line_num)));
       }
       break;
     }
@@ -1300,8 +1299,7 @@ void StepStmt() {
   }
 }
 
-auto GetMember(Address a, const std::string& f, int line_num) -> Address {
-  const Value* v = state->heap.Read(a, line_num);
+auto GetMember(const Value* v, const std::string& f, int line_num) -> Address {
   switch (v->tag()) {
     case ValKind::StructValue: {
       auto a = FindTupleField(f, v->GetStructValue().inits);
@@ -1342,31 +1340,6 @@ auto GetMember(Address a, const std::string& f, int line_num) -> Address {
   }
 }
 
-void InsertDelete(Action* del, Stack<Action*>& todo) {
-  if (!todo.IsEmpty()) {
-    switch (todo.Top()->tag()) {
-      case ActionKind::StatementAction: {
-        // This places the delete before the enclosing statement.
-        // Not sure if that is OK. Conceptually it should go after
-        // but that is tricky for some statements, like 'return'. -Jeremy
-        todo.Push(del);
-        break;
-      }
-      case ActionKind::LValAction:
-      case ActionKind::ExpressionAction:
-      case ActionKind::ValAction:
-      case ActionKind::ExpToLValAction:
-      case ActionKind::DeleteTmpAction:
-        auto top = todo.Pop();
-        InsertDelete(del, todo);
-        todo.Push(top);
-        break;
-    }
-  } else {
-    todo.Push(del);
-  }
-}
-
 // State transition.
 void Step() {
   Frame* frame = state->stack.Top();
@@ -1378,19 +1351,6 @@ void Step() {
 
   Action* act = frame->todo.Top();
   switch (act->tag()) {
-    case ActionKind::DeleteTmpAction:
-      state->heap.Deallocate(act->GetDeleteTmpAction().delete_tmp);
-      frame->todo.Pop(1);
-      frame->todo.Push(Action::MakeValAction(act->results[0]));
-      break;
-    case ActionKind::ExpToLValAction: {
-      Address a = state->heap.AllocateValue(act->results[0]);
-      auto del = Action::MakeDeleteTmpAction(a);
-      frame->todo.Pop(1);
-      InsertDelete(del, frame->todo);
-      frame->todo.Push(Action::MakeValAction(Value::MakePointerValue(a)));
-      break;
-    }
     case ActionKind::ValAction: {
       Action* val_act = frame->todo.Pop();
       Action* act = frame->todo.Top();