diff --git a/toolchain/lowering/lowering.cpp b/toolchain/lowering/lowering.cpp
index 02f9e8e81a8d..1e3bd1689570 100644
--- a/toolchain/lowering/lowering.cpp
+++ b/toolchain/lowering/lowering.cpp
@@ -111,7 +111,7 @@ auto Lowering::HandleFunctionDeclarationNode(SemanticsNodeId /*node_id*/,
   llvm::SmallVector<llvm::Type*> args;
   args.resize_for_overwrite(param_refs.size());
   for (int i = 0; i < static_cast<int>(param_refs.size()); ++i) {
-    args[i] = LowerNodeToType(semantics_ir_->GetNode(param_refs[i]).type());
+    args[i] = LowerNodeToType(semantics_ir_->GetNode(param_refs[i]).type_id());
   }
 
   llvm::Type* return_type = LowerNodeToType(
diff --git a/toolchain/semantics/semantics_ir.cpp b/toolchain/semantics/semantics_ir.cpp
index d537a23e06a1..fa00d3401f7f 100644
--- a/toolchain/semantics/semantics_ir.cpp
+++ b/toolchain/semantics/semantics_ir.cpp
@@ -16,8 +16,8 @@ auto SemanticsIR::MakeBuiltinIR() -> SemanticsIR {
   SemanticsIR semantics(/*builtin_ir=*/nullptr);
   semantics.nodes_.reserve(SemanticsBuiltinKind::ValidCount);
 
-#define CARBON_SEMANTICS_BUILTIN_KIND(Name, Type, ...)   \
-  semantics.nodes_.push_back(SemanticsNode::MakeBuiltin( \
+#define CARBON_SEMANTICS_BUILTIN_KIND(Name, Type, ...)     \
+  semantics.nodes_.push_back(SemanticsNode::Builtin::Make( \
       SemanticsBuiltinKind::Name, SemanticsNodeId::Builtin##Type));
 #include "toolchain/semantics/semantics_builtin_kind.def"
 
@@ -44,9 +44,9 @@ auto SemanticsIR::MakeFromParseTree(const SemanticsIR& builtin_ir,
   for (int i = 0; i < SemanticsBuiltinKind::ValidCount; ++i) {
     // We can reuse the type node ID because the offsets of cross-references
     // will be the same in this IR.
-    auto type = builtin_ir.nodes_[i].type();
-    semantics.nodes_[i] =
-        SemanticsNode::MakeCrossReference(type, BuiltinIR, SemanticsNodeId(i));
+    auto type = builtin_ir.nodes_[i].type_id();
+    semantics.nodes_[i] = SemanticsNode::CrossReference::Make(
+        type, BuiltinIR, SemanticsNodeId(i));
   }
 
   ParseTreeNodeLocationTranslator translator(&tokens, &parse_tree);
diff --git a/toolchain/semantics/semantics_ir.h b/toolchain/semantics/semantics_ir.h
index 9fc48d3890db..70f0b617655b 100644
--- a/toolchain/semantics/semantics_ir.h
+++ b/toolchain/semantics/semantics_ir.h
@@ -162,7 +162,7 @@ class SemanticsIR {
 
   // Returns the type of the requested node.
   auto GetType(SemanticsNodeId node_id) -> SemanticsNodeId {
-    return GetNode(node_id).type();
+    return GetNode(node_id).type_id();
   }
 
   // Adds an empty new node block, returning an ID to reference it and add
diff --git a/toolchain/semantics/semantics_node.cpp b/toolchain/semantics/semantics_node.cpp
index f4e38edf245d..8d6123858086 100644
--- a/toolchain/semantics/semantics_node.cpp
+++ b/toolchain/semantics/semantics_node.cpp
@@ -31,8 +31,8 @@ void SemanticsNode::Print(llvm::raw_ostream& out) const {
     break;
 #include "toolchain/semantics/semantics_node_kind.def"
   }
-  if (type_.is_valid()) {
-    out << ", type: " << type_;
+  if (type_id_.is_valid()) {
+    out << ", type: " << type_id_;
   }
   out << "}";
 }
diff --git a/toolchain/semantics/semantics_node.h b/toolchain/semantics/semantics_node.h
index 0047c4cc8d28..70cdfe8dd6cb 100644
--- a/toolchain/semantics/semantics_node.h
+++ b/toolchain/semantics/semantics_node.h
@@ -124,207 +124,219 @@ struct SemanticsStringId : public IndexBase {
   }
 };
 
-// The standard structure for nodes.
+// The standard structure for SemanticsNode. This is trying to provide a minimal
+// amount of information for a node:
+//
+// - parse_node for error placement.
+// - kind for run-time logic when the input Kind is unknown.
+// - type_id for quick type checking.
+// - Up to two Kind-specific members.
+//
+// For each Kind in SemanticsNodeKind, a typical flow looks like:
+//
+// - Create a `SemanticsNode` using `SemanticsNode::Kind::Make()`
+// - Access cross-Kind members using `node.type_id()` and similar.
+// - Access Kind-specific members using `node.GetAsKind()`, which depending on
+//   the number of members will return one of NoArgs, a single value, or a
+//   `std::pair` of values.
+//   - Using the wrong `node.GetAsKind()` is a programming error, and should
+//     CHECK-fail in debug modes (opt may too, but it's not an API guarantee).
+//
+// Internally, each Kind uses the `Factory*` types to provide a boilerplate
+// `Make` and `Get` methods.
 class SemanticsNode {
  public:
   struct NoArgs {};
 
-  auto GetAsInvalid() const -> NoArgs { CARBON_FATAL() << "Invalid access"; }
+  // Factory base classes are private, then used for public classes. This class
+  // has two public and two private sections to prevent accidents.
+ private:
+  // Factory templates need to use the raw enum instead of the class wrapper.
+  using KindTemplateEnum = Internal::SemanticsNodeKindRawEnum;
 
-  static auto MakeAssign(ParseTree::Node parse_node, SemanticsNodeId type,
-                         SemanticsNodeId lhs, SemanticsNodeId rhs)
-      -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::Assign, type, lhs.index,
-                         rhs.index);
-  }
-  auto GetAsAssign() const -> std::pair<SemanticsNodeId, SemanticsNodeId> {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::Assign);
-    return {SemanticsNodeId(arg0_), SemanticsNodeId(arg1_)};
-  }
+  // Provides Make and Get to support 0, 1, or 2 arguments for a SemanticsNode.
+  // These are protected so that child factories can opt in to what pieces they
+  // want to use.
+  template <KindTemplateEnum Kind, typename... ArgTypes>
+  class FactoryBase {
+   protected:
+    static auto Make(ParseTree::Node parse_node, SemanticsNodeId type_id,
+                     ArgTypes... arg_ids) -> SemanticsNode {
+      return SemanticsNode(parse_node, SemanticsNodeKind::Create(Kind), type_id,
+                           arg_ids.index...);
+    }
 
-  static auto MakeBinaryOperatorAdd(ParseTree::Node parse_node,
-                                    SemanticsNodeId type, SemanticsNodeId lhs,
-                                    SemanticsNodeId rhs) -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::BinaryOperatorAdd, type,
-                         lhs.index, rhs.index);
-  }
-  auto GetAsBinaryOperatorAdd() const
-      -> std::pair<SemanticsNodeId, SemanticsNodeId> {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::BinaryOperatorAdd);
-    return {SemanticsNodeId(arg0_), SemanticsNodeId(arg1_)};
-  }
+    static auto Get(SemanticsNode node) {
+      struct Unused {};
+      return GetImpl<ArgTypes..., Unused>(node);
+    }
 
-  static auto MakeBindName(ParseTree::Node parse_node, SemanticsNodeId type,
-                           SemanticsStringId name, SemanticsNodeId node)
-      -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::BindName, type,
-                         name.index, node.index);
-  }
-  auto GetAsBindName() const -> std::pair<SemanticsStringId, SemanticsNodeId> {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::BindName);
-    return {SemanticsStringId(arg0_), SemanticsNodeId(arg1_)};
-  }
+   private:
+    // GetImpl handles the different return types based on ArgTypes.
+    template <typename Arg0Type, typename Arg1Type, typename>
+    static auto GetImpl(SemanticsNode node) -> std::pair<Arg0Type, Arg1Type> {
+      CARBON_CHECK(node.kind() == Kind);
+      return {Arg0Type(node.arg0_), Arg1Type(node.arg1_)};
+    }
+    template <typename Arg0Type, typename>
+    static auto GetImpl(SemanticsNode node) -> Arg0Type {
+      CARBON_CHECK(node.kind() == Kind);
+      return Arg0Type(node.arg0_);
+    }
+    template <typename>
+    static auto GetImpl(SemanticsNode node) -> NoArgs {
+      CARBON_CHECK(node.kind() == Kind);
+      return NoArgs();
+    }
+  };
 
-  static auto MakeBuiltin(SemanticsBuiltinKind builtin_kind,
-                          SemanticsNodeId type) -> SemanticsNode {
-    // Builtins won't have a ParseTree node associated, so we provide the
-    // default invalid one.
-    return SemanticsNode(ParseTree::Node::Invalid, SemanticsNodeKind::Builtin,
-                         type, builtin_kind.AsInt());
-  }
-  auto GetAsBuiltin() const -> SemanticsBuiltinKind {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::Builtin);
-    return SemanticsBuiltinKind::FromInt(arg0_);
-  }
+  // Provide Get along with a Make that requires a type.
+  template <KindTemplateEnum Kind, typename... ArgTypes>
+  class Factory : public FactoryBase<Kind, ArgTypes...> {
+   public:
+    using FactoryBase<Kind, ArgTypes...>::Make;
+    using FactoryBase<Kind, ArgTypes...>::Get;
+  };
 
-  static auto MakeCall(ParseTree::Node parse_node, SemanticsNodeId type,
-                       SemanticsCallId call_id, SemanticsCallableId callable_id)
-      -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::Call, type,
-                         call_id.index, callable_id.index);
-  }
-  auto GetAsCall() const -> std::pair<SemanticsCallId, SemanticsCallableId> {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::Call);
-    return {SemanticsCallId(arg0_), SemanticsCallableId(arg1_)};
-  }
+  // Provides Get along with a Make that assumes a non-changing type.
+  template <KindTemplateEnum Kind, int32_t TypeIndex, typename... ArgTypes>
+  class FactoryPreTyped : public FactoryBase<Kind, ArgTypes...> {
+   public:
+    static auto Make(ParseTree::Node parse_node, ArgTypes... args) {
+      SemanticsNodeId type_id(TypeIndex);
+      return FactoryBase<Kind, ArgTypes...>::Make(parse_node, type_id, args...);
+    }
+    using FactoryBase<Kind, ArgTypes...>::Get;
+  };
 
-  static auto MakeCodeBlock(ParseTree::Node parse_node,
-                            SemanticsNodeBlockId node_block) -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::CodeBlock,
-                         SemanticsNodeId::Invalid, node_block.index);
-  }
-  auto GetAsCodeBlock() const -> SemanticsNodeBlockId {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::CodeBlock);
-    return SemanticsNodeBlockId(arg0_);
-  }
+ public:
+  // Invalid is in the SemanticsNodeKind enum, but should never be used.
+  class Invalid {
+   public:
+    static auto Get(SemanticsNode /*node*/) -> SemanticsNode::NoArgs {
+      CARBON_FATAL() << "Invalid access";
+    }
+  };
 
-  static auto MakeCrossReference(SemanticsNodeId type,
-                                 SemanticsCrossReferenceIRId ir,
-                                 SemanticsNodeId node) -> SemanticsNode {
-    return SemanticsNode(ParseTree::Node::Invalid,
-                         SemanticsNodeKind::CrossReference, type, ir.index,
-                         node.index);
-  }
-  auto GetAsCrossReference() const
-      -> std::pair<SemanticsCrossReferenceIRId, SemanticsNodeId> {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::CrossReference);
-    return {SemanticsCrossReferenceIRId(arg0_), SemanticsNodeId(arg1_)};
-  }
+  using Assign = SemanticsNode::Factory<SemanticsNodeKind::Assign,
+                                        SemanticsNodeId /*lhs_id*/,
+                                        SemanticsNodeId /*rhs_id*/>;
 
-  static auto MakeFunctionDeclaration(ParseTree::Node parse_node,
-                                      SemanticsStringId name_id,
-                                      SemanticsCallableId signature_id)
-      -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::FunctionDeclaration,
-                         SemanticsNodeId::Invalid, name_id.index,
-                         signature_id.index);
-  }
-  auto GetAsFunctionDeclaration() const
-      -> std::pair<SemanticsStringId, SemanticsCallableId> {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::FunctionDeclaration);
-    return {SemanticsStringId(arg0_), SemanticsCallableId(arg1_)};
-  }
+  using BinaryOperatorAdd =
+      SemanticsNode::Factory<SemanticsNodeKind::BinaryOperatorAdd,
+                             SemanticsNodeId /*lhs_id*/,
+                             SemanticsNodeId /*rhs_id*/>;
 
-  static auto MakeFunctionDefinition(ParseTree::Node parse_node,
-                                     SemanticsNodeId decl,
-                                     SemanticsNodeBlockId node_block)
-      -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::FunctionDefinition,
-                         SemanticsNodeId::Invalid, decl.index,
-                         node_block.index);
-  }
-  auto GetAsFunctionDefinition() const
-      -> std::pair<SemanticsNodeId, SemanticsNodeBlockId> {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::FunctionDefinition);
-    return {SemanticsNodeId(arg0_), SemanticsNodeBlockId(arg1_)};
-  }
+  using BindName = SemanticsNode::Factory<SemanticsNodeKind::BindName,
+                                          SemanticsStringId /*name_id*/,
+                                          SemanticsNodeId /*node_id*/>;
 
-  static auto MakeIntegerLiteral(ParseTree::Node parse_node,
-                                 SemanticsIntegerLiteralId integer)
-      -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::IntegerLiteral,
-                         SemanticsNodeId::BuiltinIntegerType, integer.index);
-  }
-  auto GetAsIntegerLiteral() const -> SemanticsIntegerLiteralId {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::IntegerLiteral);
-    return SemanticsIntegerLiteralId(arg0_);
-  }
+  class Builtin {
+   public:
+    static auto Make(SemanticsBuiltinKind builtin_kind, SemanticsNodeId type_id)
+        -> SemanticsNode {
+      // Builtins won't have a ParseTree node associated, so we provide the
+      // default invalid one.
+      // This can't use the standard Make function because of the `AsInt()` cast
+      // instead of `.index`.
+      return SemanticsNode(ParseTree::Node::Invalid, SemanticsNodeKind::Builtin,
+                           type_id, builtin_kind.AsInt());
+    }
+    static auto Get(SemanticsNode node) -> SemanticsBuiltinKind {
+      return SemanticsBuiltinKind::FromInt(node.arg0_);
+    }
+  };
 
-  static auto MakeRealLiteral(ParseTree::Node parse_node,
-                              SemanticsRealLiteralId real) -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::RealLiteral,
-                         SemanticsNodeId::BuiltinFloatingPointType, real.index);
-  }
-  auto GetAsRealLiteral() const -> SemanticsRealLiteralId {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::RealLiteral);
-    return SemanticsRealLiteralId(arg0_);
-  }
+  using Call = Factory<SemanticsNodeKind::Call, SemanticsCallId /*call_id*/,
+                       SemanticsCallableId /*callable_id*/>;
 
-  static auto MakeReturn(ParseTree::Node parse_node) -> SemanticsNode {
-    // The actual type is `()`. However, code dealing with `return;` should
-    // understand the type without checking, so it's not necessary but could be
-    // specified if needed.
-    return SemanticsNode(parse_node, SemanticsNodeKind::Return,
-                         SemanticsNodeId::Invalid);
-  }
-  auto GetAsReturn() const -> NoArgs {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::Return);
-    return {};
-  }
+  using CodeBlock = FactoryPreTyped<SemanticsNodeKind::CodeBlock,
+                                    SemanticsNodeId::InvalidIndex,
+                                    SemanticsNodeBlockId /*node_block_id*/>;
 
-  static auto MakeReturnExpression(ParseTree::Node parse_node,
-                                   SemanticsNodeId type, SemanticsNodeId expr)
-      -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::ReturnExpression, type,
-                         expr.index);
-  }
-  auto GetAsReturnExpression() const -> SemanticsNodeId {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::ReturnExpression);
-    return SemanticsNodeId(arg0_);
-  }
+  class CrossReference
+      : public FactoryBase<SemanticsNodeKind::CrossReference,
+                           SemanticsCrossReferenceIRId /*ir_id*/,
+                           SemanticsNodeId /*node_id*/> {
+   public:
+    static auto Make(SemanticsNodeId type_id, SemanticsCrossReferenceIRId ir_id,
+                     SemanticsNodeId node_id) -> SemanticsNode {
+      // A node's parse tree node must refer to a node in the current parse
+      // tree. This cannot use the cross-referenced node's parse tree node
+      // because it will be in a different parse tree.
+      return FactoryBase::Make(ParseTree::Node::Invalid, type_id, ir_id,
+                               node_id);
+    }
+    using FactoryBase::Get;
+  };
 
-  static auto MakeStringLiteral(ParseTree::Node parse_node,
-                                SemanticsStringId string_id) -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::StringLiteral,
-                         SemanticsNodeId::BuiltinStringType, string_id.index);
-  }
-  auto GetAsStringLiteral() const -> SemanticsStringId {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::StringLiteral);
-    return SemanticsStringId(arg0_);
-  }
+  using FunctionDeclaration = FactoryPreTyped<
+      SemanticsNodeKind::FunctionDeclaration, SemanticsNodeId::InvalidIndex,
+      SemanticsStringId /*name_id*/, SemanticsCallableId /*signature_id*/>;
 
-  static auto MakeVarStorage(ParseTree::Node parse_node, SemanticsNodeId type)
-      -> SemanticsNode {
-    return SemanticsNode(parse_node, SemanticsNodeKind::VarStorage, type);
-  }
-  auto GetAsVarStorage() const -> NoArgs {
-    CARBON_CHECK(kind_ == SemanticsNodeKind::VarStorage);
-    return NoArgs();
-  }
+  using FunctionDefinition = FactoryPreTyped<
+      SemanticsNodeKind::FunctionDefinition, SemanticsNodeId::InvalidIndex,
+      SemanticsNodeId /*decl_id*/, SemanticsNodeBlockId /*node_block_id*/>;
+
+  using IntegerLiteral =
+      FactoryPreTyped<SemanticsNodeKind::IntegerLiteral,
+                      SemanticsBuiltinKind::IntegerType.AsInt(),
+                      SemanticsIntegerLiteralId /*integer_id*/>;
+
+  using RealLiteral =
+      FactoryPreTyped<SemanticsNodeKind::RealLiteral,
+                      SemanticsBuiltinKind::FloatingPointType.AsInt(),
+                      SemanticsRealLiteralId /*real_id*/>;
+
+  using Return =
+      FactoryPreTyped<SemanticsNodeKind::Return, SemanticsNodeId::InvalidIndex>;
+
+  using ReturnExpression =
+      Factory<SemanticsNodeKind::ReturnExpression, SemanticsNodeId /*expr_id*/>;
+
+  using StringLiteral =
+      FactoryPreTyped<SemanticsNodeKind::StringLiteral,
+                      SemanticsBuiltinKind::StringType.AsInt(),
+                      SemanticsStringId /*string_id*/>;
+
+  using VarStorage = Factory<SemanticsNodeKind::VarStorage>;
 
   SemanticsNode()
       : SemanticsNode(ParseTree::Node::Invalid, SemanticsNodeKind::Invalid,
                       SemanticsNodeId::Invalid) {}
 
+  // Provide `node.GetAsKind()` as an instance method for all kinds, essentially
+  // an alias for`SemanticsNode::Kind::Get(node)`.
+#define CARBON_SEMANTICS_NODE_KIND(Name) \
+  auto GetAs##Name() const { return Name::Get(*this); }
+#include "toolchain/semantics/semantics_node_kind.def"
+
   auto parse_node() const -> ParseTree::Node { return parse_node_; }
   auto kind() const -> SemanticsNodeKind { return kind_; }
-  auto type() const -> SemanticsNodeId { return type_; }
+  auto type_id() const -> SemanticsNodeId { return type_id_; }
 
   auto Print(llvm::raw_ostream& out) const -> void;
 
  private:
+  // Builtins have peculiar construction, so they are a friend rather than using
+  // a factory base class.
+  friend struct SemanticsNodeForBuiltin;
+
   explicit SemanticsNode(ParseTree::Node parse_node, SemanticsNodeKind kind,
-                         SemanticsNodeId type, int32_t arg0 = -1,
-                         int32_t arg1 = -1)
+                         SemanticsNodeId type_id,
+                         int32_t arg0 = SemanticsNodeId::InvalidIndex,
+                         int32_t arg1 = SemanticsNodeId::InvalidIndex)
       : parse_node_(parse_node),
         kind_(kind),
-        type_(type),
+        type_id_(type_id),
         arg0_(arg0),
         arg1_(arg1) {}
 
   ParseTree::Node parse_node_;
   SemanticsNodeKind kind_;
-  SemanticsNodeId type_;
+  SemanticsNodeId type_id_;
+
+  // Use GetAsKind to access arg0 and arg1.
   int32_t arg0_;
   int32_t arg1_;
 };
diff --git a/toolchain/semantics/semantics_node_kind.h b/toolchain/semantics/semantics_node_kind.h
index b90ad5712ae4..7c0f4c57d09e 100644
--- a/toolchain/semantics/semantics_node_kind.h
+++ b/toolchain/semantics/semantics_node_kind.h
@@ -20,6 +20,8 @@ class SemanticsNodeKind : public CARBON_ENUM_BASE(SemanticsNodeKind) {
  public:
 #define CARBON_SEMANTICS_NODE_KIND(Name) CARBON_ENUM_CONSTANT_DECLARATION(Name)
 #include "toolchain/semantics/semantics_node_kind.def"
+
+  using EnumBase::Create;
 };
 
 #define CARBON_SEMANTICS_NODE_KIND(Name) \
diff --git a/toolchain/semantics/semantics_parse_tree_handler.cpp b/toolchain/semantics/semantics_parse_tree_handler.cpp
index 5ba7a318e723..26e0d90c51bf 100644
--- a/toolchain/semantics/semantics_parse_tree_handler.cpp
+++ b/toolchain/semantics/semantics_parse_tree_handler.cpp
@@ -116,7 +116,8 @@ auto SemanticsParseTreeHandler::BindName(ParseTree::Node name_node,
   auto name_str = parse_tree_->GetNodeText(name_node);
   auto name_id = semantics_->AddString(name_str);
 
-  AddNode(SemanticsNode::MakeBindName(name_node, type_id, name_id, target_id));
+  AddNode(
+      SemanticsNode::BindName::Make(name_node, type_id, name_id, target_id));
   AddNameToLookup(name_node, name_id, target_id);
   return name_id;
 }
@@ -340,7 +341,7 @@ auto SemanticsParseTreeHandler::HandleCallExpression(ParseTree::Node parse_node)
 
     auto call_id = semantics_->AddCall({ir_id, refs_id});
     // TODO: Propagate return types from callable.
-    auto call_node_id = AddNode(SemanticsNode::MakeCall(
+    auto call_node_id = AddNode(SemanticsNode::Call::Make(
         call_expr_parse_node, SemanticsNodeId::BuiltinEmptyTuple, call_id,
         callable_id));
 
@@ -510,7 +511,8 @@ auto SemanticsParseTreeHandler::HandleFunctionDefinition(
   return_scope_stack_.pop_back();
   PopScope();
   auto block_id = node_block_stack_.Pop();
-  AddNode(SemanticsNode::MakeFunctionDefinition(parse_node, decl_id, block_id));
+  AddNode(
+      SemanticsNode::FunctionDefinition::Make(parse_node, decl_id, block_id));
   node_stack_.Push(parse_node);
 
   return true;
@@ -537,7 +539,7 @@ auto SemanticsParseTreeHandler::HandleFunctionDefinitionStart(
                                .param_refs_id = param_refs_id,
                                .return_type_id = return_type_id});
   auto decl_id = AddNode(
-      SemanticsNode::MakeFunctionDeclaration(fn_node, name_id, callable_id));
+      SemanticsNode::FunctionDeclaration::Make(fn_node, name_id, callable_id));
   AddNameToLookup(name_node, name_id, decl_id);
 
   node_block_stack_.Push();
@@ -596,7 +598,7 @@ auto SemanticsParseTreeHandler::HandleInfixOperator(ParseTree::Node parse_node)
   auto token = parse_tree_->node_token(parse_node);
   switch (auto token_kind = tokens_->GetKind(token)) {
     case TokenKind::Plus:
-      AddNodeAndPush(parse_node, SemanticsNode::MakeBinaryOperatorAdd(
+      AddNodeAndPush(parse_node, SemanticsNode::BinaryOperatorAdd::Make(
                                      parse_node, result_type, lhs_id, rhs_id));
       break;
     default:
@@ -640,7 +642,7 @@ auto SemanticsParseTreeHandler::HandleLiteral(ParseTree::Node parse_node)
       auto id =
           semantics_->AddIntegerLiteral(tokens_->GetIntegerLiteral(token));
       AddNodeAndPush(parse_node,
-                     SemanticsNode::MakeIntegerLiteral(parse_node, id));
+                     SemanticsNode::IntegerLiteral::Make(parse_node, id));
       break;
     }
     case TokenKind::RealLiteral: {
@@ -650,13 +652,13 @@ auto SemanticsParseTreeHandler::HandleLiteral(ParseTree::Node parse_node)
                                       .exponent = token_value.Exponent(),
                                       .is_decimal = token_value.IsDecimal()});
       AddNodeAndPush(parse_node,
-                     SemanticsNode::MakeRealLiteral(parse_node, id));
+                     SemanticsNode::RealLiteral::Make(parse_node, id));
       break;
     }
     case TokenKind::StringLiteral: {
       auto id = semantics_->AddString(tokens_->GetStringLiteral(token));
       AddNodeAndPush(parse_node,
-                     SemanticsNode::MakeStringLiteral(parse_node, id));
+                     SemanticsNode::StringLiteral::Make(parse_node, id));
       break;
     }
     case TokenKind::IntegerTypeLiteral: {
@@ -826,7 +828,7 @@ auto SemanticsParseTreeHandler::HandlePatternBinding(ParseTree::Node parse_node)
   auto name_node = node_stack_.PopForSoloParseNode();
 
   // Allocate storage, linked to the name for error locations.
-  auto storage_id = AddNode(SemanticsNode::MakeVarStorage(name_node, type));
+  auto storage_id = AddNode(SemanticsNode::VarStorage::Make(name_node, type));
 
   // Bind the name to storage.
   auto name_id = BindName(name_node, type, storage_id);
@@ -873,7 +875,7 @@ auto SemanticsParseTreeHandler::HandleReturnStatement(
           .Emit();
     }
 
-    AddNodeAndPush(parse_node, SemanticsNode::MakeReturn(parse_node));
+    AddNodeAndPush(parse_node, SemanticsNode::Return::Make(parse_node));
   } else {
     const auto arg = node_stack_.PopForNodeId();
     auto arg_type = semantics_->GetType(arg);
@@ -905,7 +907,7 @@ auto SemanticsParseTreeHandler::HandleReturnStatement(
       arg_type = new_type;
     }
 
-    AddNodeAndPush(parse_node, SemanticsNode::MakeReturnExpression(
+    AddNodeAndPush(parse_node, SemanticsNode::ReturnExpression::Make(
                                    parse_node, arg_type, arg));
   }
   return true;
@@ -1021,8 +1023,8 @@ auto SemanticsParseTreeHandler::HandleVariableDeclaration(
     auto storage_type =
         TryTypeConversion(parse_node, storage_id, last_child.second,
                           /*can_convert_lhs=*/false);
-    AddNode(SemanticsNode::MakeAssign(parse_node, storage_type, storage_id,
-                                      last_child.second));
+    AddNode(SemanticsNode::Assign::Make(parse_node, storage_type, storage_id,
+                                        last_child.second));
   }
 
   node_stack_.PopAndDiscardSoloParseNode(ParseNodeKind::VariableIntroducer);