diff --git a/src/skeleton.rs b/src/skeleton.rs
index e58eed7..e425a68 100644
--- a/src/skeleton.rs
+++ b/src/skeleton.rs
@@ -1,7 +1,8 @@
-// use std::collections::BTreeMap;
-// use std::collections::BTreeSet;
-// use super::bag::BTreeBag;
-// use preserves::value::AValue;
+// pub type V = preserves::value::ArcValue;
+
+// type Map = std::collections::BTreeMap;
+// type Set = std::collections::BTreeSet;
+// type Bag = super::bag::BTreeBag;
// pub enum Event {
// Removed,
@@ -11,7 +12,7 @@
// type Path = Vec;
// type Paths = Vec;
-// type Captures = Vec;
+// type Captures = Vec;
// trait HandleEvent {
// fn handle_event<'a>(self, captures: &Captures);
@@ -25,18 +26,18 @@
// pub struct AnalysisResults {
// skeleton: Skeleton,
// const_paths: Paths,
-// const_vals: Vec,
+// const_vals: Vec,
// capture_paths: Paths,
-// assertion: AValue,
+// assertion: V,
// }
// pub struct Index {
-// all_assertions: BTreeBag,
+// all_assertions: Bag,
// }
// impl Index {
// pub fn new() -> Self {
-// Index{ all_assertions: BTreeBag::new() }
+// Index{ all_assertions: Bag::new() }
// }
// // pub fn add_handler(analysis_results: AnalysisResults,
@@ -44,12 +45,12 @@
// struct Node {
// continuation: Continuation,
-// edges: BTreeMap>,
+// edges: Map>,
// }
// struct Continuation {
-// cached_assertions: BTreeSet,
-// leaf_map: BTreeMap, Leaf>>,
+// cached_assertions: Set,
+// leaf_map: Map, Leaf>>,
// }
// struct Selector {
@@ -57,17 +58,17 @@
// index: usize,
// }
-// enum Guard {
-// Rec(AValue, usize),
+// pub enum Guard {
+// Rec(V, usize),
// Seq(usize),
// }
// struct Leaf { // aka Topic
-// cached_assertions: BTreeSet,
-// handler_map: BTreeMap,
+// cached_assertions: Set,
+// handler_map: Map,
// }
// struct Handler {
-// cached_captures: BTreeBag,
-// callbacks: BTreeSet>,
+// cached_captures: Bag,
+// callbacks: Set>,
// }