-% Deep embedding with class
-\subfile{domain_specific_languages/class_deep_embedding}
-
-% First-class data types
-\subfile{domain_specific_languages/first-class_datatypes}
+\part[Prelude: Domain-Specific Languages]{Prelude:\\[2ex]\smaller{}Domain-Specific Languages}%
+\label{prt:dsl}
+\subfile{dsl/dsl_techniques} % DSL Techniques
+\subfile{dsl/class_deep_embedding} % Deep embedding with class
+\subfile{dsl/first-class_datatypes} % First-class data types