Index: doc/theses/aaron_moss/phd/background.tex
===================================================================
--- doc/theses/aaron_moss/phd/background.tex	(revision 9fce933a61ed63a140befd6e61382f5944c42004)
+++ doc/theses/aaron_moss/phd/background.tex	(revision 7ff01ffb398a9a4be9aa0166a3359b8d8663ef43)
@@ -1,3 +1,3 @@
-\chapter{Background}
+\chapter{\CFA{}}
 
 \CFA{} adds a number of features to C, some of them providing significant increases to the expressive power of the language, but all designed to maintain the existing procedural programming paradigm of C and to be as orthogonal as possible to each other. 
Index: doc/theses/aaron_moss/phd/generic-types.tex
===================================================================
--- doc/theses/aaron_moss/phd/generic-types.tex	(revision 9fce933a61ed63a140befd6e61382f5944c42004)
+++ doc/theses/aaron_moss/phd/generic-types.tex	(revision 7ff01ffb398a9a4be9aa0166a3359b8d8663ef43)
@@ -4,4 +4,6 @@
 Talk about generic types. Pull from Moss~\etal\cite{Moss18}.
 
+% TODO discuss layout function algorithm, application to separate compilation
+
 % TODO mention impetus for zero_t design