diff --git a/LESSONS b/LESSONS
new file mode 100644
index 00000000..c719f02e
--- /dev/null
+++ b/LESSONS
@@ -0,0 +1,9 @@
+* want reflection to work without requiring std::type_info,
+  so that in xo-expression we can create function types that
+  C++ compiler has never encountered.
+
+** This means we need the ability to construct the canonical name
+   for a type without c++ compiler's assistance.
+
+** need lookup using function ingredients (return types + arg types + noexcept)
+   to intern lambda types
diff --git a/TODO b/TODO
new file mode 100644
index 00000000..c2a91ce8
--- /dev/null
+++ b/TODO
@@ -0,0 +1,3 @@
+- In xo-reflect, TypeDescr objects are immortal.
+  In original context rationale was recording information for already-established C++ types.
+  Maybe want to revisit that choice when associating TypeDescr objects with expressions?