agrega bug en las secciones

Main.lhs

@@ -38,6 +38,8 @@
 
 \subsection{Ahora ({\tt TypeFamilies, DataKinds, GADTs ...})}
 
+%include ./src/New.lhs
+
 \section{AspectAG}
 \subsection{Gram\'aticas de atributos} 
 \subsection{algunas construcciones en AspectAG}

src/New.lhs

+%if False
+
+%endif
+
+
+
+\subsubsection{TypeFamilies}
+\subsubsection{DataKinds}
+\subsubsection{Proxys y Singletons}
+
+

src/Old.lhs

@@ -140,7 +140,7 @@ lo cual queda demostrado al codificar, por ejemplo un calculo de
 combinadores SKI ~\cite{OlegSKI}.
 
 
-\subsection{Tipado a nivel de Tipos}
+\subsubsection{Tipado a nivel de Tipos}
 
 N\'otese que los constructores {\tt Zero} y {\tt Succ} tienen kinds
 {\tt *} y {\tt * $\rightarrow$ *}.
@@ -212,6 +212,6 @@ lista con todos los tipos distintos por ej
 
 
 
-\section{Limitaciones}
+\subsubsection{Limitaciones}
 
 TODO