Index: doc/rob_thesis/ctordtor.tex
===================================================================
--- doc/rob_thesis/ctordtor.tex	(revision cb4d825050b89609f32abd22b08d43c8a3521531)
+++ doc/rob_thesis/ctordtor.tex	(revision b0fedd4a9c5fd3d6488160b3fd9bb16e03e6b651)
@@ -135,8 +135,4 @@
 %   at the global scope (which is likely the most common case)
 % * [9]
-
-% Move semantics
-% * <ongoing discussion about this. this will be filled in
-%    once we come to a consensus>
 
 % Changes to polymorphic type classes
Index: doc/rob_thesis/tuples.tex
===================================================================
--- doc/rob_thesis/tuples.tex	(revision cb4d825050b89609f32abd22b08d43c8a3521531)
+++ doc/rob_thesis/tuples.tex	(revision b0fedd4a9c5fd3d6488160b3fd9bb16e03e6b651)
@@ -615,5 +615,5 @@
 \end{cfacode}
 Note that due to flattening, @x@ used in the argument position is converted into the list of its fields.
-In the call to @f@, a the second and third argument components are structured into a tuple argument.
+In the call to @f@, the second and third argument components are structured into a tuple argument.
 
 Expressions which may contain side effects are made into \emph{unique expressions} before being expanded by the flattening conversion.
@@ -643,5 +643,5 @@
 \end{cfacode}
 Since argument evaluation order is not specified by the C programming language, this scheme is built to work regardless of evaluation order.
-The first time a unique expression is executed, the actual expression is evaluated and the accompanying boolean is true to true.
+The first time a unique expression is executed, the actual expression is evaluated and the accompanying boolean is set to true.
 Every subsequent evaluation of the unique expression then results in an access to the stored result of the actual expression.
 
@@ -1299,2 +1299,4 @@
 Thunks 0 through 3 provide wrappers for the @otype@ parameters for @const char *@, while @_thunk4@ translates a call to @print([int, const char *])@ into a call to @print_variadic(int, [const char *])@.
 This all builds to a call to @print_variadic@, with the appropriate copy construction of the tuple argument.
+
+\section{Future Work}