diff --git a/macros/src/lib.rs b/macros/src/lib.rs
index b667d2e26..b2dee7c91 100644
--- a/macros/src/lib.rs
+++ b/macros/src/lib.rs
@@ -179,7 +179,7 @@ fn process_const(
 
                 const NAME: &'static str = #name;
 
-                fn node_id() -> TypeId {
+                fn class_id() -> TypeId {
                     TypeId::of::<#self_ty>()
                 }
 
diff --git a/src/eval/class.rs b/src/eval/class.rs
index 91a9daefe..4307eecbd 100644
--- a/src/eval/class.rs
+++ b/src/eval/class.rs
@@ -1,15 +1,15 @@
 use std::fmt::{self, Debug, Formatter, Write};
 
-use super::{Args, EvalContext, Func, Node, StyleMap, Value};
+use super::{Args, EvalContext, Func, StyleMap, Template, Value};
 use crate::diag::TypResult;
 
-/// A class of [nodes](Node).
+/// A class of nodes.
 ///
 /// You can [construct] an instance of a class in Typst code by invoking the
-/// class as a callable. This always produces some node, but not necessarily one
-/// of fixed type. For example, the `text` constructor does not actually create
-/// a [`TextNode`]. Instead it applies styling to whatever node you pass in and
-/// returns it structurally unchanged.
+/// class as a callable. This always produces a template, but not necessarily a
+/// simple inline or block node. For example, the `text` constructor does not
+/// actually create a [`TextNode`]. Instead it applies styling to whatever node
+/// you pass in and returns it structurally unchanged.
 ///
 /// The arguments you can pass to a class constructor fall into two categories:
 /// Data that is inherent to the instance (e.g. the text of a heading) and style
@@ -50,8 +50,8 @@ impl Class {
             construct: |ctx, args| {
                 let mut styles = StyleMap::new();
                 T::set(args, &mut styles)?;
-                let node = T::construct(ctx, args)?;
-                Ok(Value::Node(node.styled_with_map(styles.scoped())))
+                let template = T::construct(ctx, args)?;
+                Ok(Value::Template(template.styled_with_map(styles.scoped())))
             },
             set: T::set,
         }
@@ -65,7 +65,7 @@ impl Class {
     /// Construct an instance of the class.
     ///
     /// This parses both property and data arguments (in this order) and styles
-    /// the node constructed from the data with the style properties.
+    /// the template constructed from the data with the style properties.
     pub fn construct(&self, ctx: &mut EvalContext, args: &mut Args) -> TypResult<Value> {
         (self.construct)(ctx, args)
     }
@@ -104,7 +104,7 @@ pub trait Construct {
     ///
     /// This is passed only the arguments that remain after execution of the
     /// class's set rule.
-    fn construct(ctx: &mut EvalContext, args: &mut Args) -> TypResult<Node>;
+    fn construct(ctx: &mut EvalContext, args: &mut Args) -> TypResult<Template>;
 }
 
 /// Set style properties of a class.
diff --git a/src/eval/mod.rs b/src/eval/mod.rs
index ebbeec3d4..fce8bed40 100644
--- a/src/eval/mod.rs
+++ b/src/eval/mod.rs
@@ -11,18 +11,18 @@ mod styles;
 mod capture;
 mod class;
 mod func;
-mod node;
 mod ops;
 mod scope;
+mod template;
 
 pub use array::*;
 pub use capture::*;
 pub use class::*;
 pub use dict::*;
 pub use func::*;
-pub use node::*;
 pub use scope::*;
 pub use styles::*;
+pub use template::*;
 pub use value::*;
 
 use std::cell::RefMut;
@@ -64,13 +64,13 @@ pub struct Module {
     /// The top-level definitions that were bound in this module.
     pub scope: Scope,
     /// The module's layoutable contents.
-    pub node: Node,
+    pub template: Template,
 }
 
 impl Module {
-    /// Convert this module's node into a layout tree.
+    /// Convert this module's template into a layout tree.
     pub fn into_root(self) -> RootNode {
-        self.node.into_root()
+        self.template.into_root()
     }
 }
 
@@ -143,14 +143,14 @@ impl<'a> EvalContext<'a> {
         self.route.push(id);
 
         // Evaluate the module.
-        let node = ast.eval(self).trace(|| Tracepoint::Import, span)?;
+        let template = ast.eval(self).trace(|| Tracepoint::Import, span)?;
 
         // Restore the old context.
         let new_scopes = mem::replace(&mut self.scopes, prev_scopes);
         self.route.pop().unwrap();
 
         // Save the evaluated module.
-        let module = Module { scope: new_scopes.top, node };
+        let module = Module { scope: new_scopes.top, template };
         self.modules.insert(id, module);
 
         Ok(id)
@@ -170,7 +170,7 @@ impl<'a> EvalContext<'a> {
 }
 
 impl Eval for Markup {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, ctx: &mut EvalContext) -> TypResult<Self::Output> {
         eval_markup(ctx, &mut self.nodes())
@@ -181,12 +181,12 @@ impl Eval for Markup {
 fn eval_markup(
     ctx: &mut EvalContext,
     nodes: &mut impl Iterator<Item = MarkupNode>,
-) -> TypResult<Node> {
+) -> TypResult<Template> {
     let mut seq = Vec::with_capacity(nodes.size_hint().1.unwrap_or_default());
     let mut styles = StyleMap::new();
 
     while let Some(node) = nodes.next() {
-        let result = match node {
+        let template = match node {
             MarkupNode::Expr(Expr::Set(set)) => {
                 let class = set.class();
                 let class = class.eval(ctx)?.cast::<Class>().at(class.span())?;
@@ -206,21 +206,21 @@ fn eval_markup(
             _ => node.eval(ctx)?,
         };
 
-        seq.push(Styled::new(result, styles.clone()));
+        seq.push(Styled::new(template, styles.clone()));
     }
 
-    Ok(Node::Sequence(seq))
+    Ok(Template::Sequence(seq))
 }
 
 impl Eval for MarkupNode {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, ctx: &mut EvalContext) -> TypResult<Self::Output> {
         Ok(match self {
-            Self::Space => Node::Space,
-            Self::Linebreak => Node::Linebreak,
-            Self::Parbreak => Node::Parbreak,
-            Self::Text(text) => Node::Text(text.clone()),
+            Self::Space => Template::Space,
+            Self::Linebreak => Template::Linebreak,
+            Self::Parbreak => Template::Parbreak,
+            Self::Text(text) => Template::Text(text.clone()),
             Self::Strong(strong) => strong.eval(ctx)?,
             Self::Emph(emph) => emph.eval(ctx)?,
             Self::Raw(raw) => raw.eval(ctx)?,
@@ -234,7 +234,7 @@ impl Eval for MarkupNode {
 }
 
 impl Eval for StrongNode {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, ctx: &mut EvalContext) -> TypResult<Self::Output> {
         Ok(self.body().eval(ctx)?.styled(TextNode::STRONG, true))
@@ -242,7 +242,7 @@ impl Eval for StrongNode {
 }
 
 impl Eval for EmphNode {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, ctx: &mut EvalContext) -> TypResult<Self::Output> {
         Ok(self.body().eval(ctx)?.styled(TextNode::EMPH, true))
@@ -250,12 +250,12 @@ impl Eval for EmphNode {
 }
 
 impl Eval for RawNode {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, _: &mut EvalContext) -> TypResult<Self::Output> {
         let code = self.highlighted();
         Ok(if self.block {
-            Node::Block(code.into_block())
+            Template::Block(code.into_block())
         } else {
             code
         })
@@ -263,9 +263,9 @@ impl Eval for RawNode {
 }
 
 impl RawNode {
-    /// Styled node for a code block, with optional syntax highlighting.
-    pub fn highlighted(&self) -> Node {
-        let mut sequence: Vec<Styled<Node>> = vec![];
+    /// Styled template for a code block, with optional syntax highlighting.
+    pub fn highlighted(&self) -> Template {
+        let mut seq: Vec<Styled<Template>> = vec![];
 
         let syntax = if let Some(syntax) = self
             .lang
@@ -279,7 +279,7 @@ impl RawNode {
         ) {
             None
         } else {
-            return Node::Text(self.text.clone()).monospaced();
+            return Template::Text(self.text.clone()).monospaced();
         };
 
         let foreground = THEME
@@ -294,11 +294,11 @@ impl RawNode {
                 let mut highlighter = HighlightLines::new(syntax, &THEME);
                 for (i, line) in self.text.lines().enumerate() {
                     if i != 0 {
-                        sequence.push(Styled::bare(Node::Linebreak));
+                        seq.push(Styled::bare(Template::Linebreak));
                     }
 
                     for (style, piece) in highlighter.highlight(line, &SYNTAXES) {
-                        sequence.push(style_piece(piece, foreground, style));
+                        seq.push(style_piece(piece, foreground, style));
                     }
                 }
             }
@@ -311,23 +311,21 @@ impl RawNode {
                     red.as_ref(),
                     &highlighter,
                     &mut |range, style| {
-                        sequence.push(style_piece(&self.text[range], foreground, style));
+                        seq.push(style_piece(&self.text[range], foreground, style));
                     },
                 )
             }
         }
 
-        Node::Sequence(sequence).monospaced()
+        Template::Sequence(seq).monospaced()
     }
 }
 
 /// Style a piece of text with a syntect style.
-fn style_piece(piece: &str, foreground: Paint, style: SynStyle) -> Styled<Node> {
-    let paint = style.foreground.into();
-    let node = Node::Text(piece.into());
-
+fn style_piece(piece: &str, foreground: Paint, style: SynStyle) -> Styled<Template> {
     let mut styles = StyleMap::new();
 
+    let paint = style.foreground.into();
     if paint != foreground {
         styles.set(TextNode::FILL, paint);
     }
@@ -344,16 +342,16 @@ fn style_piece(piece: &str, foreground: Paint, style: SynStyle) -> Styled<Node>
         styles.set(TextNode::LINES, vec![DecoLine::Underline.into()]);
     }
 
-    Styled::new(node, styles)
+    Styled::new(Template::Text(piece.into()), styles)
 }
 
 impl Eval for MathNode {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, _: &mut EvalContext) -> TypResult<Self::Output> {
-        let text = Node::Text(self.formula.trim().into()).monospaced();
+        let text = Template::Text(self.formula.trim().into()).monospaced();
         Ok(if self.display {
-            Node::Block(text.into_block())
+            Template::Block(text.into_block())
         } else {
             text
         })
@@ -361,10 +359,10 @@ impl Eval for MathNode {
 }
 
 impl Eval for HeadingNode {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, ctx: &mut EvalContext) -> TypResult<Self::Output> {
-        Ok(Node::block(library::HeadingNode {
+        Ok(Template::block(library::HeadingNode {
             child: self.body().eval(ctx)?.into_block(),
             level: self.level(),
         }))
@@ -372,10 +370,10 @@ impl Eval for HeadingNode {
 }
 
 impl Eval for ListNode {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, ctx: &mut EvalContext) -> TypResult<Self::Output> {
-        Ok(Node::block(library::ListNode {
+        Ok(Template::block(library::ListNode {
             child: self.body().eval(ctx)?.into_block(),
             kind: library::Unordered,
         }))
@@ -383,10 +381,10 @@ impl Eval for ListNode {
 }
 
 impl Eval for EnumNode {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, ctx: &mut EvalContext) -> TypResult<Self::Output> {
-        Ok(Node::block(library::ListNode {
+        Ok(Template::block(library::ListNode {
             child: self.body().eval(ctx)?.into_block(),
             kind: library::Ordered(self.number()),
         }))
@@ -402,7 +400,7 @@ impl Eval for Expr {
             Self::Ident(v) => v.eval(ctx),
             Self::Array(v) => v.eval(ctx).map(Value::Array),
             Self::Dict(v) => v.eval(ctx).map(Value::Dict),
-            Self::Template(v) => v.eval(ctx).map(Value::Node),
+            Self::Template(v) => v.eval(ctx).map(Value::Template),
             Self::Group(v) => v.eval(ctx),
             Self::Block(v) => v.eval(ctx),
             Self::Call(v) => v.eval(ctx),
@@ -475,13 +473,13 @@ impl Eval for DictExpr {
 }
 
 impl Eval for TemplateExpr {
-    type Output = Node;
+    type Output = Template;
 
     fn eval(&self, ctx: &mut EvalContext) -> TypResult<Self::Output> {
         ctx.scopes.enter();
-        let node = self.body().eval(ctx)?;
+        let template = self.body().eval(ctx)?;
         ctx.scopes.exit();
-        Ok(node)
+        Ok(template)
     }
 }
 
@@ -899,7 +897,7 @@ impl Eval for IncludeExpr {
         let resolved = path.eval(ctx)?.cast::<EcoString>().at(path.span())?;
         let file = ctx.import(&resolved, path.span())?;
         let module = &ctx.modules[&file];
-        Ok(Value::Node(module.node.clone()))
+        Ok(Value::Template(module.template.clone()))
     }
 }
 
diff --git a/src/eval/ops.rs b/src/eval/ops.rs
index 649b8467e..b5fa9f9a0 100644
--- a/src/eval/ops.rs
+++ b/src/eval/ops.rs
@@ -22,9 +22,9 @@ pub fn join(lhs: Value, rhs: Value) -> StrResult<Value> {
         (Str(a), Str(b)) => Str(a + b),
         (Array(a), Array(b)) => Array(a + b),
         (Dict(a), Dict(b)) => Dict(a + b),
-        (Node(a), Node(b)) => Node(a + b),
-        (Node(a), Str(b)) => Node(a + super::Node::Text(b)),
-        (Str(a), Node(b)) => Node(super::Node::Text(a) + b),
+        (Template(a), Template(b)) => Template(a + b),
+        (Template(a), Str(b)) => Template(a + super::Template::Text(b)),
+        (Str(a), Template(b)) => Template(super::Template::Text(a) + b),
         (a, b) => mismatch!("cannot join {} with {}", a, b),
     })
 }
@@ -85,11 +85,11 @@ pub fn add(lhs: Value, rhs: Value) -> StrResult<Value> {
         (Array(a), Array(b)) => Array(a + b),
         (Dict(a), Dict(b)) => Dict(a + b),
 
-        (Node(a), None) => Node(a),
-        (None, Node(b)) => Node(b),
-        (Node(a), Node(b)) => Node(a + b),
-        (Node(a), Str(b)) => Node(a + super::Node::Text(b)),
-        (Str(a), Node(b)) => Node(super::Node::Text(a) + b),
+        (Template(a), None) => Template(a),
+        (None, Template(b)) => Template(b),
+        (Template(a), Template(b)) => Template(a + b),
+        (Template(a), Str(b)) => Template(a + super::Template::Text(b)),
+        (Str(a), Template(b)) => Template(super::Template::Text(a) + b),
 
         (a, b) => {
             if let (Dyn(a), Dyn(b)) = (&a, &b) {
@@ -178,8 +178,8 @@ pub fn mul(lhs: Value, rhs: Value) -> StrResult<Value> {
         (Int(a), Str(b)) => Str(repeat_str(b, a)?),
         (Array(a), Int(b)) => Array(a.repeat(b)?),
         (Int(a), Array(b)) => Array(b.repeat(a)?),
-        (Node(a), Int(b)) => Node(a.repeat(b)?),
-        (Int(a), Node(b)) => Node(b.repeat(a)?),
+        (Template(a), Int(b)) => Template(a.repeat(b)?),
+        (Int(a), Template(b)) => Template(b.repeat(a)?),
 
         (a, b) => mismatch!("cannot multiply {} with {}", a, b),
     })
@@ -296,7 +296,7 @@ pub fn equal(lhs: &Value, rhs: &Value) -> bool {
         (Str(a), Str(b)) => a == b,
         (Array(a), Array(b)) => a == b,
         (Dict(a), Dict(b)) => a == b,
-        (Node(a), Node(b)) => a == b,
+        (Template(a), Template(b)) => a == b,
         (Func(a), Func(b)) => a == b,
         (Dyn(a), Dyn(b)) => a == b,
 
diff --git a/src/eval/styles.rs b/src/eval/styles.rs
index 5276353ad..e3dc51bbc 100644
--- a/src/eval/styles.rs
+++ b/src/eval/styles.rs
@@ -144,7 +144,7 @@ impl StyleMap {
     }
 
     /// Whether two style maps are equal when filtered down to properties of the
-    /// node `T`.
+    /// class `T`.
     pub fn compatible<T: 'static>(&self, other: &Self) -> bool {
         let f = |entry: &&Entry| entry.is_of::<T>();
         self.0.iter().filter(f).count() == other.0.iter().filter(f).count()
@@ -242,10 +242,10 @@ impl<'a> StyleChain<'a> {
     /// Barriers interact with [scoped](StyleMap::scoped) styles: A scoped style
     /// can still be read through a single barrier (the one of the node it
     /// _should_ apply to), but a second barrier will make it invisible.
-    pub fn barred<'b>(&'b self, node: TypeId) -> StyleChain<'b> {
-        if self.needs_barrier(node) {
+    pub fn barred<'b>(&'b self, class: TypeId) -> StyleChain<'b> {
+        if self.needs_barrier(class) {
             StyleChain {
-                first: Link::Barrier(node),
+                first: Link::Barrier(class),
                 outer: Some(self),
             }
         } else {
@@ -297,18 +297,18 @@ impl<'a> StyleChain<'a> {
                     .and_then(|entry| entry.downcast::<P>()),
                 depth,
             ),
-            Link::Barrier(node) => (None, depth + (P::node_id() == node) as usize),
+            Link::Barrier(class) => (None, depth + (P::class_id() == class) as usize),
         }
     }
 
-    fn needs_barrier(self, node: TypeId) -> bool {
+    fn needs_barrier(self, class: TypeId) -> bool {
         if let Link::Map(map) = self.first {
-            if map.0.iter().any(|entry| entry.is_of_same(node)) {
+            if map.0.iter().any(|entry| entry.is_of_same(class)) {
                 return true;
             }
         }
 
-        self.outer.map_or(false, |outer| outer.needs_barrier(node))
+        self.outer.map_or(false, |outer| outer.needs_barrier(class))
     }
 }
 
@@ -352,11 +352,11 @@ impl Entry {
     }
 
     fn is_of<T: 'static>(&self) -> bool {
-        self.p.node_id() == TypeId::of::<T>()
+        self.p.class_id() == TypeId::of::<T>()
     }
 
-    fn is_of_same(&self, node: TypeId) -> bool {
-        self.p.node_id() == node
+    fn is_of_same(&self, class: TypeId) -> bool {
+        self.p.class_id() == class
     }
 
     fn downcast<P: Property>(&self) -> Option<&P::Value> {
@@ -402,8 +402,8 @@ pub trait Property: Copy + Sync + Send + 'static {
     /// Whether the property needs folding.
     const FOLDABLE: bool = false;
 
-    /// The type id of the node this property belongs to.
-    fn node_id() -> TypeId;
+    /// The type id of the class this property belongs to.
+    fn class_id() -> TypeId;
 
     /// The default value of the property.
     fn default() -> Self::Value;
@@ -437,7 +437,7 @@ trait Bounds: Sync + Send + 'static {
     fn dyn_fmt(&self, f: &mut Formatter) -> fmt::Result;
     fn dyn_eq(&self, other: &Entry) -> bool;
     fn hash64(&self) -> u64;
-    fn node_id(&self) -> TypeId;
+    fn class_id(&self) -> TypeId;
     fn style_id(&self) -> TypeId;
     fn fold(&self, outer: &Entry) -> Entry;
 }
@@ -467,8 +467,8 @@ impl<P: Property> Bounds for (P, P::Value) {
         state.finish()
     }
 
-    fn node_id(&self) -> TypeId {
-        P::node_id()
+    fn class_id(&self) -> TypeId {
+        P::class_id()
     }
 
     fn style_id(&self) -> TypeId {
diff --git a/src/eval/node.rs b/src/eval/template.rs
similarity index 84%
rename from src/eval/node.rs
rename to src/eval/template.rs
index e6985faaf..8a49f84dc 100644
--- a/src/eval/node.rs
+++ b/src/eval/template.rs
@@ -14,17 +14,17 @@ use crate::library::{
 };
 use crate::util::EcoString;
 
-/// A partial representation of a layout node.
+/// Composable representation of styled content.
 ///
-/// A node is a composable intermediate representation that can be converted
-/// into a proper layout node by lifting it to a [block-level](PackedNode) or
-/// [root node](RootNode).
+/// This results from:
+/// - anything written between square brackets in Typst
+/// - any class constructor
 ///
 /// When you write `[Hi] + [you]` in Typst, this type's [`Add`] implementation
-/// is invoked. There, multiple nodes are combined into a single
-/// [`Sequence`](Self::Sequence) node.
+/// is invoked. There, multiple templates are combined into a single
+/// [`Sequence`](Self::Sequence) template.
 #[derive(Debug, PartialEq, Clone, Hash)]
-pub enum Node {
+pub enum Template {
     /// A word space.
     Space,
     /// A line break.
@@ -62,13 +62,13 @@ pub enum Node {
     Sequence(Vec<Styled<Self>>),
 }
 
-impl Node {
-    /// Create an empty node.
+impl Template {
+    /// Create an empty template.
     pub fn new() -> Self {
         Self::Sequence(vec![])
     }
 
-    /// Create an inline-level node.
+    /// Create a template from an inline-level node.
     pub fn inline<T>(node: T) -> Self
     where
         T: Layout + Debug + Hash + Sync + Send + 'static,
@@ -76,7 +76,7 @@ impl Node {
         Self::Inline(node.pack())
     }
 
-    /// Create a block-level node.
+    /// Create a template from a block-level node.
     pub fn block<T>(node: T) -> Self
     where
         T: Layout + Debug + Hash + Sync + Send + 'static,
@@ -84,7 +84,7 @@ impl Node {
         Self::Block(node.pack())
     }
 
-    /// Style this node with a single property.
+    /// Style this template with a single property.
     pub fn styled<P: Property>(mut self, key: P, value: P::Value) -> Self {
         if let Self::Sequence(vec) = &mut self {
             if let [styled] = vec.as_mut_slice() {
@@ -96,7 +96,7 @@ impl Node {
         self.styled_with_map(StyleMap::with(key, value))
     }
 
-    /// Style this node with a full style map.
+    /// Style this template with a full style map.
     pub fn styled_with_map(mut self, styles: StyleMap) -> Self {
         if styles.is_empty() {
             return self;
@@ -112,14 +112,14 @@ impl Node {
         Self::Sequence(vec![Styled::new(self, styles)])
     }
 
-    /// Style this node in monospace.
+    /// Style this template in monospace.
     pub fn monospaced(self) -> Self {
         self.styled(TextNode::MONOSPACE, true)
     }
 
-    /// Lift to a type-erased block-level node.
+    /// Lift to a type-erased block-level template.
     pub fn into_block(self) -> PackedNode {
-        if let Node::Block(packed) = self {
+        if let Template::Block(packed) = self {
             packed
         } else {
             let mut packer = Packer::new(false);
@@ -135,23 +135,22 @@ impl Node {
         packer.into_root()
     }
 
-    /// Repeat this node `n` times.
+    /// Repeat this template `n` times.
     pub fn repeat(&self, n: i64) -> StrResult<Self> {
         let count = usize::try_from(n)
             .map_err(|_| format!("cannot repeat this template {} times", n))?;
 
-        // TODO(style): Make more efficient.
         Ok(Self::Sequence(vec![Styled::bare(self.clone()); count]))
     }
 }
 
-impl Default for Node {
+impl Default for Template {
     fn default() -> Self {
         Self::new()
     }
 }
 
-impl Add for Node {
+impl Add for Template {
     type Output = Self;
 
     fn add(self, rhs: Self) -> Self::Output {
@@ -175,19 +174,19 @@ impl Add for Node {
     }
 }
 
-impl AddAssign for Node {
+impl AddAssign for Template {
     fn add_assign(&mut self, rhs: Self) {
         *self = mem::take(self) + rhs;
     }
 }
 
-impl Sum for Node {
+impl Sum for Template {
     fn sum<I: Iterator<Item = Self>>(iter: I) -> Self {
         Self::Sequence(iter.map(|n| Styled::bare(n)).collect())
     }
 }
 
-/// Packs a [`Node`] into a flow or root node.
+/// Packs a [`Template`] into a flow or root node.
 struct Packer {
     /// Whether this packer produces a root node.
     top: bool,
@@ -200,7 +199,7 @@ struct Packer {
 }
 
 impl Packer {
-    /// Start a new node-packing session.
+    /// Start a new template-packing session.
     fn new(top: bool) -> Self {
         Self {
             top,
@@ -222,28 +221,28 @@ impl Packer {
         RootNode(self.pages)
     }
 
-    /// Consider a node with the given styles.
-    fn walk(&mut self, node: Node, styles: StyleMap) {
-        match node {
-            Node::Space => {
+    /// Consider a template with the given styles.
+    fn walk(&mut self, template: Template, styles: StyleMap) {
+        match template {
+            Template::Space => {
                 // A text space is "soft", meaning that it can be eaten up by
                 // adjacent line breaks or explicit spacings.
                 self.par.last.soft(Styled::new(ParChild::text(' '), styles), false);
             }
-            Node::Linebreak => {
+            Template::Linebreak => {
                 // A line break eats up surrounding text spaces.
                 self.par.last.hard();
                 self.push_inline(Styled::new(ParChild::text('\n'), styles));
                 self.par.last.hard();
             }
-            Node::Parbreak => {
+            Template::Parbreak => {
                 // An explicit paragraph break is styled according to the active
                 // styles (`Some(_)`) whereas paragraph breaks forced by
                 // incompatibility take their styles from the preceding
                 // paragraph.
                 self.parbreak(Some(styles), true);
             }
-            Node::Colbreak => {
+            Template::Colbreak => {
                 // Explicit column breaks end the current paragraph and then
                 // discards the paragraph break.
                 self.parbreak(None, false);
@@ -251,24 +250,24 @@ impl Packer {
                 self.flow.children.push(Styled::new(FlowChild::Skip, styles));
                 self.flow.last.hard();
             }
-            Node::Pagebreak => {
+            Template::Pagebreak => {
                 // We must set the flow styles after the page break such that an
                 // empty page created by two page breaks in a row has styles at
                 // all.
                 self.pagebreak();
                 self.flow.styles = styles;
             }
-            Node::Text(text) => {
+            Template::Text(text) => {
                 self.push_inline(Styled::new(ParChild::text(text), styles));
             }
-            Node::Spacing(SpecAxis::Horizontal, kind) => {
+            Template::Spacing(SpecAxis::Horizontal, kind) => {
                 // Just like a line break, explicit horizontal spacing eats up
                 // surrounding text spaces.
                 self.par.last.hard();
                 self.push_inline(Styled::new(ParChild::Spacing(kind), styles));
                 self.par.last.hard();
             }
-            Node::Spacing(SpecAxis::Vertical, kind) => {
+            Template::Spacing(SpecAxis::Vertical, kind) => {
                 // Explicit vertical spacing ends the current paragraph and then
                 // discards the paragraph break.
                 self.parbreak(None, false);
@@ -276,13 +275,13 @@ impl Packer {
                 self.flow.children.push(Styled::new(FlowChild::Spacing(kind), styles));
                 self.flow.last.hard();
             }
-            Node::Inline(inline) => {
+            Template::Inline(inline) => {
                 self.push_inline(Styled::new(ParChild::Node(inline), styles));
             }
-            Node::Block(block) => {
+            Template::Block(block) => {
                 self.push_block(Styled::new(block, styles));
             }
-            Node::Page(page) => {
+            Template::Page(page) => {
                 if self.top {
                     self.pagebreak();
                     self.pages.push(Styled::new(page, styles));
@@ -290,12 +289,12 @@ impl Packer {
                     self.push_block(Styled::new(page.0, styles));
                 }
             }
-            Node::Sequence(list) => {
-                // For a list of nodes, we apply the list's styles to each node
-                // individually.
-                for mut node in list {
-                    node.map.apply(&styles);
-                    self.walk(node.item, node.map);
+            Template::Sequence(list) => {
+                // For a list of templates, we apply the list's styles to each
+                // templates individually.
+                for Styled { item, mut map } in list {
+                    map.apply(&styles);
+                    self.walk(item, map);
                 }
             }
         }
@@ -303,7 +302,7 @@ impl Packer {
 
     /// Insert an inline-level element into the current paragraph.
     fn push_inline(&mut self, child: Styled<ParChild>) {
-        // The node must be both compatible with the current page and the
+        // The child's map must be both compatible with the current page and the
         // current paragraph.
         self.make_flow_compatible(&child.map);
         self.make_par_compatible(&child.map);
@@ -458,28 +457,28 @@ impl<T> Default for Builder<T> {
     }
 }
 
-/// The kind of node that was last added to a flow or paragraph. A small finite
+/// The kind of child that was last added to a flow or paragraph. A small finite
 /// state machine used to coalesce spaces.
 ///
-/// Soft nodes can only exist when surrounded by `Any` nodes. Not at the
-/// start, end or next to hard nodes. This way, spaces at start and end of
+/// Soft children can only exist when surrounded by `Any` children. Not at the
+/// start, end or next to hard children. This way, spaces at start and end of
 /// paragraphs and next to `#h(..)` goes away.
 enum Last<N> {
     /// Start state, nothing there.
     None,
     /// Text or a block node or something.
     Any,
-    /// Hard nodes: Linebreaks and explicit spacing.
+    /// Hard children: Linebreaks and explicit spacing.
     Hard,
-    /// Soft nodes: Word spaces and paragraph breaks. These are saved here
-    /// temporarily and then applied once an `Any` node appears. The boolean
-    /// says whether this soft node is "important" and preferrable to other soft
+    /// Soft children: Word spaces and paragraph breaks. These are saved here
+    /// temporarily and then applied once an `Any` child appears. The boolean
+    /// says whether this soft child is "important" and preferrable to other soft
     /// nodes (that is the case for explicit paragraph breaks).
     Soft(N, bool),
 }
 
 impl<N> Last<N> {
-    /// Transition into the `Any` state and return a soft node to really add
+    /// Transition into the `Any` state and return a soft child to really add
     /// now if currently in `Soft` state.
     fn any(&mut self) -> Option<N> {
         match mem::replace(self, Self::Any) {
@@ -489,7 +488,7 @@ impl<N> Last<N> {
     }
 
     /// Transition into the `Soft` state, but only if in `Any`. Otherwise, the
-    /// soft node is discarded.
+    /// soft child is discarded.
     fn soft(&mut self, soft: N, important: bool) {
         if matches!(
             (&self, important),
@@ -500,7 +499,7 @@ impl<N> Last<N> {
     }
 
     /// Transition into the `Hard` state, discarding a possibly existing soft
-    /// node and preventing further soft nodes from being added.
+    /// child and preventing further soft nodes from being added.
     fn hard(&mut self) {
         *self = Self::Hard;
     }
diff --git a/src/eval/value.rs b/src/eval/value.rs
index c19794dfc..d0b822f18 100644
--- a/src/eval/value.rs
+++ b/src/eval/value.rs
@@ -4,7 +4,7 @@ use std::fmt::{self, Debug, Formatter};
 use std::hash::Hash;
 use std::sync::Arc;
 
-use super::{ops, Args, Array, Class, Dict, Func, Node};
+use super::{ops, Args, Array, Class, Dict, Func, Template};
 use crate::diag::StrResult;
 use crate::geom::{Angle, Color, Fractional, Length, Linear, Relative, RgbaColor};
 use crate::layout::Layout;
@@ -42,8 +42,8 @@ pub enum Value {
     Array(Array),
     /// A dictionary value: `(color: #f79143, pattern: dashed)`.
     Dict(Dict),
-    /// A node value: `[*Hi* there]`.
-    Node(Node),
+    /// A template value: `[*Hi* there]`.
+    Template(Template),
     /// An executable function.
     Func(Func),
     /// Captured arguments to a function.
@@ -55,20 +55,20 @@ pub enum Value {
 }
 
 impl Value {
-    /// Create an inline-level node value.
+    /// Create a template value from an inline-level node.
     pub fn inline<T>(node: T) -> Self
     where
         T: Layout + Debug + Hash + Sync + Send + 'static,
     {
-        Self::Node(Node::inline(node))
+        Self::Template(Template::inline(node))
     }
 
-    /// Create a block-level node value.
+    /// Create a template value from a block-level node.
     pub fn block<T>(node: T) -> Self
     where
         T: Layout + Debug + Hash + Sync + Send + 'static,
     {
-        Self::Node(Node::block(node))
+        Self::Template(Template::block(node))
     }
 
     /// The name of the stored value's type.
@@ -88,7 +88,7 @@ impl Value {
             Self::Str(_) => EcoString::TYPE_NAME,
             Self::Array(_) => Array::TYPE_NAME,
             Self::Dict(_) => Dict::TYPE_NAME,
-            Self::Node(_) => Node::TYPE_NAME,
+            Self::Template(_) => Template::TYPE_NAME,
             Self::Func(_) => Func::TYPE_NAME,
             Self::Args(_) => Args::TYPE_NAME,
             Self::Class(_) => Class::TYPE_NAME,
@@ -115,16 +115,16 @@ impl Value {
     }
 
     /// Return the display representation of the value.
-    pub fn show(self) -> Node {
+    pub fn show(self) -> Template {
         match self {
-            Value::None => Node::new(),
-            Value::Int(v) => Node::Text(format_eco!("{}", v)),
-            Value::Float(v) => Node::Text(format_eco!("{}", v)),
-            Value::Str(v) => Node::Text(v),
-            Value::Node(v) => v,
+            Value::None => Template::new(),
+            Value::Int(v) => Template::Text(format_eco!("{}", v)),
+            Value::Float(v) => Template::Text(format_eco!("{}", v)),
+            Value::Str(v) => Template::Text(v),
+            Value::Template(v) => v,
             // For values which can't be shown "naturally", we print the
             // representation in monospace.
-            v => Node::Text(v.repr()).monospaced(),
+            v => Template::Text(v.repr()).monospaced(),
         }
     }
 }
@@ -152,7 +152,7 @@ impl Debug for Value {
             Self::Str(v) => Debug::fmt(v, f),
             Self::Array(v) => Debug::fmt(v, f),
             Self::Dict(v) => Debug::fmt(v, f),
-            Self::Node(_) => f.pad("<template>"),
+            Self::Template(_) => f.pad("<template>"),
             Self::Func(v) => Debug::fmt(v, f),
             Self::Args(v) => Debug::fmt(v, f),
             Self::Class(v) => Debug::fmt(v, f),
@@ -400,7 +400,7 @@ primitive! { Color: "color", Color }
 primitive! { EcoString: "string", Str }
 primitive! { Array: "array", Array }
 primitive! { Dict: "dictionary", Dict }
-primitive! { Node: "template", Node }
+primitive! { Template: "template", Template }
 primitive! { Func: "function", Func, Class(v) => v.constructor() }
 primitive! { Args: "arguments", Args }
 primitive! { Class: "class", Class }
diff --git a/src/layout/mod.rs b/src/layout/mod.rs
index ebdfba0ef..6e1764733 100644
--- a/src/layout/mod.rs
+++ b/src/layout/mod.rs
@@ -307,7 +307,7 @@ where
     }
 }
 
-/// A node that sizes its child.
+/// Fix the size of a node.
 #[derive(Debug, Hash)]
 pub struct SizedNode {
     /// How to size the node horizontally and vertically.
diff --git a/src/lib.rs b/src/lib.rs
index 6d52ceaa7..32938cdac 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -7,10 +7,11 @@
 //!   is provided in the [AST] module.
 //! - **Evaluation:** The next step is to [evaluate] the markup. This produces a
 //!   [module], consisting of a scope of values that were exported by the code
-//!   and a [node] with the contents of the module. This node can be converted
-//!   into a [layout tree], a hierarchical, styled representation of the
-//!   document. The nodes of this tree are well structured and order-independent
-//!   and thus much better suited for layouting than the raw markup.
+//!   and a [template] with the contents of the module. This node can be
+//!   converted into a [layout tree], a hierarchical, styled representation of
+//!   the document. The nodes of this tree are well structured and
+//!   order-independent and thus much better suited for layouting than the raw
+//!   markup.
 //! - **Layouting:** Next, the tree is [layouted] into a portable version of the
 //!   typeset document. The output of this is a collection of [`Frame`]s (one
 //!   per page), ready for exporting. This step is supported by an incremental
@@ -24,7 +25,7 @@
 //! [AST]: syntax::ast
 //! [evaluate]: Context::evaluate
 //! [module]: eval::Module
-//! [node]: eval::Node
+//! [template]: eval::Template
 //! [layout tree]: layout::RootNode
 //! [layouted]: layout::RootNode::layout
 //! [cache]: layout::LayoutCache
@@ -110,13 +111,13 @@ impl Context {
     /// Evaluate a source file and return the resulting module.
     ///
     /// Returns either a module containing a scope with top-level bindings and a
-    /// layoutable node or diagnostics in the form of a vector of error message
-    /// with file and span information.
+    /// layoutable template or diagnostics in the form of a vector of error
+    /// message with file and span information.
     pub fn evaluate(&mut self, id: SourceId) -> TypResult<Module> {
         let markup = self.sources.get(id).ast()?;
         let mut ctx = EvalContext::new(self, id);
-        let node = markup.eval(&mut ctx)?;
-        Ok(Module { scope: ctx.scopes.top, node })
+        let template = markup.eval(&mut ctx)?;
+        Ok(Module { scope: ctx.scopes.top, template })
     }
 
     /// Typeset a source file into a collection of layouted frames.
diff --git a/src/library/align.rs b/src/library/align.rs
index ecf50cc4b..5d89dcb68 100644
--- a/src/library/align.rs
+++ b/src/library/align.rs
@@ -14,10 +14,10 @@ pub struct AlignNode {
 
 #[class]
 impl AlignNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let aligns: Spec<_> = args.find().unwrap_or_default();
         let body: PackedNode = args.expect("body")?;
-        Ok(Node::block(body.aligned(aligns)))
+        Ok(Template::block(body.aligned(aligns)))
     }
 }
 
diff --git a/src/library/columns.rs b/src/library/columns.rs
index 5ea76973e..9e696b49b 100644
--- a/src/library/columns.rs
+++ b/src/library/columns.rs
@@ -3,7 +3,7 @@
 use super::prelude::*;
 use super::ParNode;
 
-/// A node that separates a region into multiple equally sized columns.
+/// Separate a region into multiple equally sized columns.
 #[derive(Debug, Hash)]
 pub struct ColumnsNode {
     /// How many columns there should be.
@@ -18,8 +18,8 @@ impl ColumnsNode {
     /// The size of the gutter space between each column.
     pub const GUTTER: Linear = Relative::new(0.04).into();
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::block(Self {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::block(Self {
             columns: args.expect("column count")?,
             child: args.expect("body")?,
         }))
@@ -116,7 +116,7 @@ pub struct ColbreakNode;
 
 #[class]
 impl ColbreakNode {
-    fn construct(_: &mut EvalContext, _: &mut Args) -> TypResult<Node> {
-        Ok(Node::Colbreak)
+    fn construct(_: &mut EvalContext, _: &mut Args) -> TypResult<Template> {
+        Ok(Template::Colbreak)
     }
 }
diff --git a/src/library/container.rs b/src/library/container.rs
index ae097a467..d2a4f481a 100644
--- a/src/library/container.rs
+++ b/src/library/container.rs
@@ -7,11 +7,11 @@ pub struct BoxNode;
 
 #[class]
 impl BoxNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let width = args.named("width")?;
         let height = args.named("height")?;
         let body: PackedNode = args.find().unwrap_or_default();
-        Ok(Node::inline(body.sized(Spec::new(width, height))))
+        Ok(Template::inline(body.sized(Spec::new(width, height))))
     }
 }
 
@@ -20,7 +20,7 @@ pub struct BlockNode;
 
 #[class]
 impl BlockNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::Block(args.find().unwrap_or_default()))
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::Block(args.find().unwrap_or_default()))
     }
 }
diff --git a/src/library/deco.rs b/src/library/deco.rs
index 6b38fa7a6..ec2235bc3 100644
--- a/src/library/deco.rs
+++ b/src/library/deco.rs
@@ -8,7 +8,7 @@ pub struct DecoNode<L: LineKind>(pub L);
 
 #[class]
 impl<L: LineKind> DecoNode<L> {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let deco = Decoration {
             line: L::LINE,
             stroke: args.named("stroke")?.or_else(|| args.find()),
@@ -17,7 +17,7 @@ impl<L: LineKind> DecoNode<L> {
             extent: args.named("extent")?.unwrap_or_default(),
             evade: args.named("evade")?.unwrap_or(true),
         };
-        Ok(args.expect::<Node>("body")?.styled(TextNode::LINES, vec![deco]))
+        Ok(args.expect::<Template>("body")?.styled(TextNode::LINES, vec![deco]))
     }
 }
 
diff --git a/src/library/flow.rs b/src/library/flow.rs
index 954267318..38f1b0e79 100644
--- a/src/library/flow.rs
+++ b/src/library/flow.rs
@@ -48,7 +48,7 @@ impl Debug for FlowChild {
         match self {
             Self::Break => f.pad("Break"),
             Self::Skip => f.pad("Skip"),
-            Self::Spacing(node) => node.fmt(f),
+            Self::Spacing(kind) => kind.fmt(f),
             Self::Node(node) => node.fmt(f),
         }
     }
@@ -56,7 +56,7 @@ impl Debug for FlowChild {
 
 /// Performs flow layout.
 struct FlowLayouter<'a> {
-    /// The flow node to layout.
+    /// The children of the flow.
     children: &'a [Styled<FlowChild>],
     /// The regions to layout children into.
     regions: Regions,
diff --git a/src/library/grid.rs b/src/library/grid.rs
index 6a9b790a2..d681ae7dc 100644
--- a/src/library/grid.rs
+++ b/src/library/grid.rs
@@ -2,7 +2,7 @@
 
 use super::prelude::*;
 
-/// A node that arranges its children in a grid.
+/// Arrange nodes in a grid.
 #[derive(Debug, Hash)]
 pub struct GridNode {
     /// Defines sizing for content rows and columns.
@@ -15,13 +15,13 @@ pub struct GridNode {
 
 #[class]
 impl GridNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let columns = args.named("columns")?.unwrap_or_default();
         let rows = args.named("rows")?.unwrap_or_default();
         let base_gutter: Vec<TrackSizing> = args.named("gutter")?.unwrap_or_default();
         let column_gutter = args.named("column-gutter")?;
         let row_gutter = args.named("row-gutter")?;
-        Ok(Node::block(Self {
+        Ok(Template::block(Self {
             tracks: Spec::new(columns, rows),
             gutter: Spec::new(
                 column_gutter.unwrap_or_else(|| base_gutter.clone()),
diff --git a/src/library/heading.rs b/src/library/heading.rs
index 17efb5e4d..ab0864e7f 100644
--- a/src/library/heading.rs
+++ b/src/library/heading.rs
@@ -28,8 +28,8 @@ impl HeadingNode {
     /// The extra padding below the heading.
     pub const BELOW: Length = Length::zero();
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::block(Self {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::block(Self {
             child: args.expect("body")?,
             level: args.named("level")?.unwrap_or(1),
         }))
diff --git a/src/library/hide.rs b/src/library/hide.rs
index 5025fefbf..cfef8f730 100644
--- a/src/library/hide.rs
+++ b/src/library/hide.rs
@@ -2,14 +2,14 @@
 
 use super::prelude::*;
 
-/// A node that hides its child without affecting layout.
+/// Hide a node without affecting layout.
 #[derive(Debug, Hash)]
 pub struct HideNode(pub PackedNode);
 
 #[class]
 impl HideNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::inline(Self(args.expect("body")?)))
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::inline(Self(args.expect("body")?)))
     }
 }
 
diff --git a/src/library/image.rs b/src/library/image.rs
index 06b3fe31d..309ffad39 100644
--- a/src/library/image.rs
+++ b/src/library/image.rs
@@ -5,7 +5,7 @@ use super::TextNode;
 use crate::diag::Error;
 use crate::image::ImageId;
 
-/// An image node.
+/// Show a raster or vector graphic.
 #[derive(Debug, Hash)]
 pub struct ImageNode(pub ImageId);
 
@@ -14,7 +14,7 @@ impl ImageNode {
     /// How the image should adjust itself to a given area.
     pub const FIT: ImageFit = ImageFit::Cover;
 
-    fn construct(ctx: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(ctx: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let path = args.expect::<Spanned<EcoString>>("path to image file")?;
         let full = ctx.make_path(&path.v);
         let id = ctx.images.load(&full).map_err(|err| {
@@ -27,7 +27,7 @@ impl ImageNode {
         let width = args.named("width")?;
         let height = args.named("height")?;
 
-        Ok(Node::inline(
+        Ok(Template::inline(
             ImageNode(id).pack().sized(Spec::new(width, height)),
         ))
     }
diff --git a/src/library/link.rs b/src/library/link.rs
index 0ecd317b8..a27908c73 100644
--- a/src/library/link.rs
+++ b/src/library/link.rs
@@ -9,7 +9,7 @@ pub struct LinkNode;
 
 #[class]
 impl LinkNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let url = args.expect::<EcoString>("url")?;
         let body = args.find().unwrap_or_else(|| {
             let mut text = url.as_str();
@@ -17,7 +17,7 @@ impl LinkNode {
                 text = text.trim_start_matches(prefix);
             }
             let shorter = text.len() < url.len();
-            Node::Text(if shorter { text.into() } else { url.clone() })
+            Template::Text(if shorter { text.into() } else { url.clone() })
         });
 
         Ok(body.styled(TextNode::LINK, Some(url)))
diff --git a/src/library/list.rs b/src/library/list.rs
index 94f7aa44c..93b942b3a 100644
--- a/src/library/list.rs
+++ b/src/library/list.rs
@@ -19,10 +19,10 @@ impl<L: ListKind> ListNode<L> {
     /// The space between the label and the body of each item.
     pub const BODY_INDENT: Linear = Relative::new(0.5).into();
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         Ok(args
             .all()
-            .map(|child: PackedNode| Node::block(Self { kind: L::default(), child }))
+            .map(|child: PackedNode| Template::block(Self { kind: L::default(), child }))
             .sum())
     }
 
@@ -54,7 +54,7 @@ impl<L: ListKind> Layout for ListNode<L> {
             gutter: Spec::default(),
             children: vec![
                 PackedNode::default(),
-                Node::Text(self.kind.label()).into_block(),
+                Template::Text(self.kind.label()).into_block(),
                 PackedNode::default(),
                 self.child.clone(),
             ],
diff --git a/src/library/mod.rs b/src/library/mod.rs
index 02babebbd..9b7dc0ebf 100644
--- a/src/library/mod.rs
+++ b/src/library/mod.rs
@@ -68,7 +68,7 @@ prelude! {
 
     pub use crate::diag::{At, TypResult};
     pub use crate::eval::{
-        Args, Construct, EvalContext, Node, Property, Scope, Set, Smart, StyleChain,
+        Args, Construct, EvalContext, Template, Property, Scope, Set, Smart, StyleChain,
         StyleMap, Styled, Value,
     };
     pub use crate::frame::*;
@@ -227,6 +227,6 @@ castable! {
 
 castable! {
     PackedNode,
-    Expected: "node",
-    Value::Node(node) => node.into_block(),
+    Expected: "template",
+    Value::Template(template) => template.into_block(),
 }
diff --git a/src/library/pad.rs b/src/library/pad.rs
index 8bfc6d170..af570659f 100644
--- a/src/library/pad.rs
+++ b/src/library/pad.rs
@@ -2,7 +2,7 @@
 
 use super::prelude::*;
 
-/// Pad content at the sides.
+/// Pad a node at the sides.
 #[derive(Debug, Hash)]
 pub struct PadNode {
     /// The amount of padding.
@@ -13,7 +13,7 @@ pub struct PadNode {
 
 #[class]
 impl PadNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let all = args.find();
         let left = args.named("left")?;
         let top = args.named("top")?;
@@ -27,7 +27,7 @@ impl PadNode {
             bottom.or(all).unwrap_or_default(),
         );
 
-        Ok(Node::block(body.padded(padding)))
+        Ok(Template::block(body.padded(padding)))
     }
 }
 
diff --git a/src/library/page.rs b/src/library/page.rs
index 9949e1e77..cdb78cc1a 100644
--- a/src/library/page.rs
+++ b/src/library/page.rs
@@ -33,8 +33,8 @@ impl PageNode {
     /// How many columns the page has.
     pub const COLUMNS: NonZeroUsize = NonZeroUsize::new(1).unwrap();
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::Page(Self(args.expect("body")?)))
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::Page(Self(args.expect("body")?)))
     }
 
     fn set(args: &mut Args, styles: &mut StyleMap) -> TypResult<()> {
@@ -130,8 +130,8 @@ pub struct PagebreakNode;
 
 #[class]
 impl PagebreakNode {
-    fn construct(_: &mut EvalContext, _: &mut Args) -> TypResult<Node> {
-        Ok(Node::Pagebreak)
+    fn construct(_: &mut EvalContext, _: &mut Args) -> TypResult<Template> {
+        Ok(Template::Pagebreak)
     }
 }
 
diff --git a/src/library/par.rs b/src/library/par.rs
index 913d2253c..e87d5f671 100644
--- a/src/library/par.rs
+++ b/src/library/par.rs
@@ -11,7 +11,7 @@ use super::prelude::*;
 use super::{shape, ShapedText, SpacingKind, TextNode};
 use crate::util::{ArcExt, EcoString, RangeExt, SliceExt};
 
-/// A node that arranges its children into a paragraph.
+/// Arrange text, spacing and inline nodes into a paragraph.
 #[derive(Hash)]
 pub struct ParNode(pub Vec<Styled<ParChild>>);
 
@@ -26,12 +26,12 @@ impl ParNode {
     /// The spacing between paragraphs (dependent on scaled font size).
     pub const SPACING: Linear = Relative::new(1.2).into();
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         // The paragraph constructor is special: It doesn't create a paragraph
         // since that happens automatically through markup. Instead, it just
         // lifts the passed body to the block level so that it won't merge with
         // adjacent stuff and it styles the contained paragraphs.
-        Ok(Node::Block(args.expect("body")?))
+        Ok(Template::Block(args.expect("body")?))
     }
 
     fn set(args: &mut Args, styles: &mut StyleMap) -> TypResult<()> {
@@ -118,7 +118,7 @@ impl ParNode {
     fn strings(&self) -> impl Iterator<Item = &str> {
         self.0.iter().map(|styled| match &styled.item {
             ParChild::Spacing(_) => " ",
-            ParChild::Text(node) => &node.0,
+            ParChild::Text(text) => &text.0,
             ParChild::Node(_) => "\u{FFFC}",
         })
     }
@@ -152,8 +152,8 @@ impl ParChild {
 impl Debug for ParChild {
     fn fmt(&self, f: &mut Formatter) -> fmt::Result {
         match self {
-            Self::Spacing(node) => node.fmt(f),
-            Self::Text(node) => node.fmt(f),
+            Self::Spacing(kind) => kind.fmt(f),
+            Self::Text(text) => text.fmt(f),
             Self::Node(node) => node.fmt(f),
         }
     }
@@ -164,8 +164,8 @@ pub struct ParbreakNode;
 
 #[class]
 impl ParbreakNode {
-    fn construct(_: &mut EvalContext, _: &mut Args) -> TypResult<Node> {
-        Ok(Node::Parbreak)
+    fn construct(_: &mut EvalContext, _: &mut Args) -> TypResult<Template> {
+        Ok(Template::Parbreak)
     }
 }
 
@@ -174,8 +174,8 @@ pub struct LinebreakNode;
 
 #[class]
 impl LinebreakNode {
-    fn construct(_: &mut EvalContext, _: &mut Args) -> TypResult<Node> {
-        Ok(Node::Linebreak)
+    fn construct(_: &mut EvalContext, _: &mut Args) -> TypResult<Template> {
+        Ok(Template::Linebreak)
     }
 }
 
diff --git a/src/library/place.rs b/src/library/place.rs
index d5880995f..d7b98c16a 100644
--- a/src/library/place.rs
+++ b/src/library/place.rs
@@ -3,18 +3,18 @@
 use super::prelude::*;
 use super::AlignNode;
 
-/// Place content at an absolute position.
+/// Place a node at an absolute position.
 #[derive(Debug, Hash)]
 pub struct PlaceNode(pub PackedNode);
 
 #[class]
 impl PlaceNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let aligns = args.find().unwrap_or(Spec::with_x(Some(Align::Left)));
         let tx = args.named("dx")?.unwrap_or_default();
         let ty = args.named("dy")?.unwrap_or_default();
         let body: PackedNode = args.expect("body")?;
-        Ok(Node::block(Self(
+        Ok(Template::block(Self(
             body.moved(Point::new(tx, ty)).aligned(aligns),
         )))
     }
diff --git a/src/library/shape.rs b/src/library/shape.rs
index 0dd75c085..8ac9956f4 100644
--- a/src/library/shape.rs
+++ b/src/library/shape.rs
@@ -5,7 +5,7 @@ use std::f64::consts::SQRT_2;
 use super::prelude::*;
 use super::TextNode;
 
-/// Places its child into a sizable and fillable shape.
+/// Place a node into a sizable and fillable shape.
 #[derive(Debug, Hash)]
 pub struct ShapeNode<S: ShapeKind> {
     /// Which shape to place the child into.
@@ -25,7 +25,7 @@ impl<S: ShapeKind> ShapeNode<S> {
     /// How much to pad the shape's content.
     pub const PADDING: Linear = Linear::zero();
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let size = if !S::ROUND && S::QUADRATIC {
             args.named::<Length>("size")?.map(Linear::from)
         } else if S::ROUND && S::QUADRATIC {
@@ -44,7 +44,7 @@ impl<S: ShapeKind> ShapeNode<S> {
             size => size,
         };
 
-        Ok(Node::inline(
+        Ok(Template::inline(
             ShapeNode { kind: S::default(), child: args.find() }
                 .pack()
                 .sized(Spec::new(width, height)),
diff --git a/src/library/spacing.rs b/src/library/spacing.rs
index 7c0c377c2..6c370d380 100644
--- a/src/library/spacing.rs
+++ b/src/library/spacing.rs
@@ -7,8 +7,8 @@ pub struct HNode;
 
 #[class]
 impl HNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::Spacing(SpecAxis::Horizontal, args.expect("spacing")?))
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::Spacing(SpecAxis::Horizontal, args.expect("spacing")?))
     }
 }
 
@@ -17,8 +17,8 @@ pub struct VNode;
 
 #[class]
 impl VNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::Spacing(SpecAxis::Vertical, args.expect("spacing")?))
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::Spacing(SpecAxis::Vertical, args.expect("spacing")?))
     }
 }
 
diff --git a/src/library/stack.rs b/src/library/stack.rs
index 14b268c2b..409e58679 100644
--- a/src/library/stack.rs
+++ b/src/library/stack.rs
@@ -3,7 +3,7 @@
 use super::prelude::*;
 use super::{AlignNode, SpacingKind};
 
-/// Stack children along an axis.
+/// Arrange nodes and spacing along an axis.
 #[derive(Debug, Hash)]
 pub struct StackNode {
     /// The stacking direction.
@@ -16,8 +16,8 @@ pub struct StackNode {
 
 #[class]
 impl StackNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::block(Self {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::block(Self {
             dir: args.named("dir")?.unwrap_or(Dir::TTB),
             spacing: args.named("spacing")?,
             children: args.all().collect(),
@@ -48,7 +48,7 @@ pub enum StackChild {
 impl Debug for StackChild {
     fn fmt(&self, f: &mut Formatter) -> fmt::Result {
         match self {
-            Self::Spacing(node) => node.fmt(f),
+            Self::Spacing(kind) => kind.fmt(f),
             Self::Node(node) => node.fmt(f),
         }
     }
@@ -61,12 +61,12 @@ castable! {
     Value::Relative(v) => Self::Spacing(SpacingKind::Linear(v.into())),
     Value::Linear(v) => Self::Spacing(SpacingKind::Linear(v)),
     Value::Fractional(v) => Self::Spacing(SpacingKind::Fractional(v)),
-    Value::Node(v) => Self::Node(v.into_block()),
+    Value::Template(v) => Self::Node(v.into_block()),
 }
 
 /// Performs stack layout.
 struct StackLayouter<'a> {
-    /// The flow node to layout.
+    /// The children of the stack.
     children: &'a [StackChild],
     /// The stacking direction.
     dir: Dir,
@@ -99,7 +99,7 @@ enum StackItem {
     Absolute(Length),
     /// Fractional spacing between other items.
     Fractional(Fractional),
-    /// A layouted child node.
+    /// A frame for a layouted child node.
     Frame(Arc<Frame>, Align),
 }
 
diff --git a/src/library/table.rs b/src/library/table.rs
index b0f0fbf5c..33fa68cd5 100644
--- a/src/library/table.rs
+++ b/src/library/table.rs
@@ -27,13 +27,13 @@ impl TableNode {
     /// How much to pad the cells's content.
     pub const PADDING: Linear = Length::pt(5.0).into();
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         let columns = args.named("columns")?.unwrap_or_default();
         let rows = args.named("rows")?.unwrap_or_default();
         let base_gutter: Vec<TrackSizing> = args.named("gutter")?.unwrap_or_default();
         let column_gutter = args.named("column-gutter")?;
         let row_gutter = args.named("row-gutter")?;
-        Ok(Node::block(Self {
+        Ok(Template::block(Self {
             tracks: Spec::new(columns, rows),
             gutter: Spec::new(
                 column_gutter.unwrap_or_else(|| base_gutter.clone()),
diff --git a/src/library/text.rs b/src/library/text.rs
index 019f8c35c..05b213c84 100644
--- a/src/library/text.rs
+++ b/src/library/text.rs
@@ -95,7 +95,7 @@ impl TextNode {
     /// Raw OpenType features to apply.
     pub const FEATURES: Vec<(Tag, u32)> = vec![];
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
         // The text constructor is special: It doesn't create a text node.
         // Instead, it leaves the passed argument structurally unchanged, but
         // styles all text in it.
@@ -156,8 +156,8 @@ pub struct StrongNode;
 
 #[class]
 impl StrongNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(args.expect::<Node>("body")?.styled(TextNode::STRONG, true))
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(args.expect::<Template>("body")?.styled(TextNode::STRONG, true))
     }
 }
 
@@ -166,8 +166,8 @@ pub struct EmphNode;
 
 #[class]
 impl EmphNode {
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(args.expect::<Node>("body")?.styled(TextNode::EMPH, true))
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(args.expect::<Template>("body")?.styled(TextNode::EMPH, true))
     }
 }
 
diff --git a/src/library/transform.rs b/src/library/transform.rs
index e9a41a98c..9d04071d7 100644
--- a/src/library/transform.rs
+++ b/src/library/transform.rs
@@ -3,7 +3,7 @@
 use super::prelude::*;
 use crate::geom::Transform;
 
-/// A node that transforms its child without affecting layout.
+/// Transform a node without affecting layout.
 #[derive(Debug, Hash)]
 pub struct TransformNode<T: TransformKind> {
     /// Transformation to apply to the contents.
@@ -17,8 +17,8 @@ impl<T: TransformKind> TransformNode<T> {
     /// The origin of the transformation.
     pub const ORIGIN: Spec<Option<Align>> = Spec::default();
 
-    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Node> {
-        Ok(Node::inline(Self {
+    fn construct(_: &mut EvalContext, args: &mut Args) -> TypResult<Template> {
+        Ok(Template::inline(Self {
             kind: T::construct(args)?,
             child: args.expect("body")?,
         }))