Index: doc/theses/jiada_liang_MMath/CFAenum.tex
===================================================================
--- doc/theses/jiada_liang_MMath/CFAenum.tex	(revision 0c88135436a98a40adac7da1a1d42fbb6e2f6fb7)
+++ doc/theses/jiada_liang_MMath/CFAenum.tex	(revision 68a70284d743a2f3fbb728e113a817edb336f56d)
@@ -156,5 +156,5 @@
 so these expressions remain unchanged by \CFA-cc.
 Therefore, a \CFA enumeration variable has the same underlying representation as its generated C enumeration.
-This semantics implies a \CFA enumeration variable uses the same storages as a C enumeration variable that @posn@ can use as its underlying representation, and the label and value arrays take little storage.
+This semantics implies a \CFA enumeration variable uses the same storage as a C enumeration variable, that @posn@ can use as its underlying representation, and the label and value arrays take little storage.
 It should be possible to eliminated the two arrays if unused, either by \CFA if local to a translation unit and unused, or by the linker if global but unreferenced.
 Also, the label and value arrays are declared @static@ and initialized with constants, so the arrays are allocated in the @.data@ section and initialized before program execution.
Index: doc/theses/jiada_liang_MMath/relatedwork.tex
===================================================================
--- doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 0c88135436a98a40adac7da1a1d42fbb6e2f6fb7)
+++ doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 68a70284d743a2f3fbb728e113a817edb336f56d)
@@ -1320,25 +1320,48 @@
 let day : week = Weekend Sun
 \end{ocaml}
-The @week@ is a sum of @weekday@ and @weekend@; @week@ has all the enumerator from the set @weekday@ and @weekend@.
-The sum type construction resembles containment inheritance from non-functional programming discipline, with 
-the sum type being a wrapper class that contains one of its parent type. 
-
-The wrapper can be "unwrapped" with pattern matching:
+The type @week@ is the sum of @weekday@ and @weekend@, \ie @week@ has all the enumerators from the set @weekday@ and @weekend@.
+The sum type construction resembles containment inheritance from non-functional programming discipline, with the sum type being a wrapper class that contains one of its parent types.
+The wrapper is unwrapped with pattern matching:
+\begin{cquote}
+\begin{tabular}{@{}ll@{}}
 \begin{ocaml}
+type weekday = Mon | Tue | Wed | Thu | Fri
+type weekend = Sat | Sun
+type week = Weekday of weekday |
+				 Weekend of weekend
 let wd : weekday = Mon
 let _ = match wd with
-		Mon -> printf "Mon\n" |
-		_ -> printf "Take a break\n"
-
+	Mon -> printf "Mon " | _ -> ()
 let we : weekend = Sun
 let _ = match we with
-		Sun -> printf "Sun\n" |
-		_ -> printf "Take a break\n"
-
+	Sun -> printf "Sun " | _ -> ()
 let day : week = Weekend Sun
 let _ = match day with
-		Weekend Sun -> printf "Sun\n" |
-		_ -> printf "Take a break\n"
+	Weekend Sun -> printf "Sun\n" | _ -> ()
+
 \end{ocaml}
+&
+\begin{cfa}
+enum() weekday { Mon, Tue, Wed, Thu, Fri };
+enum() weekend { Sat, Sun };
+enum() week { inline weekday, inline weekend };
+int main() {
+	weekday wd = Mon;
+
+	printf( "%s ", label( wd ) );
+	weekend we = Sun;
+
+	printf( "%s ", label( we ) );
+	week day = Sun;
+
+	printf( "%s\n", label( day ) );
+}
+\end{cfa}
+\\
+\begin{cfa}
+Mon Sun Sun
+\end{cfa}
+\end{tabular}
+\end{cquote}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Index: doc/theses/jiada_liang_MMath/test.ml
===================================================================
--- doc/theses/jiada_liang_MMath/test.ml	(revision 0c88135436a98a40adac7da1a1d42fbb6e2f6fb7)
+++ doc/theses/jiada_liang_MMath/test.ml	(revision 68a70284d743a2f3fbb728e113a817edb336f56d)
@@ -24,5 +24,5 @@
 
 type week = Mon | Tue | Wed | Thu | Fri | Sat | Sun [@@deriving enumerate]
-let _ = List.iter ( fun e -> printf "%d" (to_val e) ) all_of_week
+(* let _ = List.iter ( fun e -> printf "%d" (to_val e) ) all_of_week*)
 
 let day : week = Mon