diff --git a/ltx/decls.tex b/ltx/decls.tex
index cf75482..3d59589 100644
--- a/ltx/decls.tex
+++ b/ltx/decls.tex
@@ -277,7 +277,7 @@ \subsection{\valueTag{DeclSort::Parameter}}
 			\DeclareMember{locus}{SourceLocation} \\
 			\DeclareMember{type}{TypeIndex} \\
 			\DeclareMember{constraint}{ExprIndex} \\
-			\DeclareMember{initializer}{ExprIndex} \\
+			\DeclareMember{initializer}{DefaultArgIndex} \\
 			\DeclareMember{level}{ParameterLevel} \\
 			\DeclareMember{position}{ParameterPosition} \\
 			\DeclareMember{sort}{ParameterSort} \\
@@ -319,6 +319,36 @@ \subsubsection{Parameter sort}
 	};
 \end{typedef}
 
+\paragraph{The \field{sort} field is redundant.}
+Indeed, in a fully and strongly typed representation like the IFC (where every single expression has a type), the
+\field{sort} field of a \valueTag{DeclSort::Parameter} structure is redundant because it is a piece of
+ information that can simply be recovered as follows:
+\begin{itemize}
+	\item A \code{Template} template-parameter (or argument) has a \sortref{Forall}{TypeSort} type.
+	\item A \code{Type} template-parameter (or argument) has a \sortref{Typename}{TypeBasis} type,
+	 or a refinement thereof.
+	 \item In function and lambda paremeter contexts, only \code{Object} can appear.  Otherwise, in template
+	 parameter context, \code{NonType} has a reference or an object type.
+\end{itemize}
+
+\subsubsection{Values for default argument}
+\label{sec:ifc-parameter-default-initializer}
+
+The value for a possible default argument for a parameter (whether function parameter or a template parameter)
+is indicated by an expression (\sortref{NamedDecl}{ExprSort}) that references the declaration for a default
+argument (\sortref{DefaultArgument}{DeclSort}).  An abstract reference to that specific expression
+pattern is of type \type{DefaultArgIndex} defined as
+%
+\begin{typedef}{DefaultArgIndex}{}
+	enum class DefaultArgIndex : uint32_t { };
+\end{typedef}
+%
+
+Valid values of this abstract reference starts at $1$.
+The value of that abstract reference (when not null) minus $1$ is an index into the 
+\sortref{NamedDecl}{ExprSort} partition.\ that references the default argument declaration.
+
+
 \subsection{\valueTag{DeclSort::Field}} 
 \label{sec:ifc:DeclSort:Field}
 
diff --git a/ltx/types.tex b/ltx/types.tex
index daea39c..5c57c83 100644
--- a/ltx/types.tex
+++ b/ltx/types.tex
@@ -119,7 +119,7 @@ \subsubsection{Fundamental type basis}
   \item \code{TypeBasis::Struct}: fundamental type \code{struct}
   \item \code{TypeBasis::Union}: fundamental type \code{union}
   \item \code{TypeBasis::Enum}: fundamental type \code{enum}
-  \item \code{TypeBasis::Typename}: fundamental concept \code{typename}
+  \item\label{sec:ifc:TypeBasis:Typename} \code{TypeBasis::Typename}: fundamental concept \code{typename}
   \item \code{TypeBasis::Namespace}: fundamental type \code{namespace}
   \item \code{TypeBasis::Interface}: fundamental type \code{\_\_interface}
   \item \code{TypeBasis::Function}: fundamental concept of function.  Note: this basis member is object to removal in future revision.