Add links to module level documentation

Author: Owen

doc/architectural/bmct-class.md

@@ -5,4 +5,4 @@
 
 ## equation ##
 
-To be documented.
+See \ref symex-overview.

doc/architectural/data-structures-from-ast-to-goto-program.md

@@ -5,35 +5,7 @@
 
 ## goto_programt ##
 
-See \ref goto_programt.
-
-### instructiont ###
-
-See [instructiont](\ref goto_programt::instructiont).
-
-#### Types, motivation of each type #####
-
-See [instructiont](\ref goto_programt::instructiont).
-
-#### Accepted code (codet) values ####
-
-To be documented.
-
-#### Accepted guard (exprt) values ####
-
-To be documented.
-
-## goto_functionst ##
-
-\ref goto_functionst is a map from function names to function bodies (CFGs).
-
-To be documented.
-
-## goto_modelt ##
-
-\ref goto_modelt is a compilation unit.
-
-To be documented.
+See \ref goto-programs, \ref goto_programt and [instructiont](\ref goto_programt::instructiont).
 
 ## Example: ##
 

doc/architectural/front-end-languages-generating-codet-from-multiple-languages.md

@@ -5,24 +5,32 @@
 
 ## language_uit, language_filest, languaget classes: ##
 
-### Purpose ###
-
-To be documented.
+See \ref langapi.
 
 ### Parse ###
 
-To be documented.
+See \ref language_uit::parse().
 
 ### Typecheck ###
 
-To be documented.
+See \ref language_uit::typecheck().
 
 ### Final ###
 
-To be documented.
+See \ref language_uit::final().
+
+## C ##
+
+See \ref ansi-c.
+
+## C++ ##
+
+See \ref cpp.
 
 ## Java bytecode ##
 
+See \ref java_bytecode.
+
 ### Explain how a java program / class is represented in a .class ###
 
 To be documented.

doc/architectural/solvers-infrastructure.md

@@ -3,6 +3,8 @@
 
 \author
 
+See \ref solvers-overview.
+
 ## Flattening ##
 
 To be documented.

doc/architectural/static-analysis-apis.md

@@ -3,4 +3,5 @@
 
 \author 
 
-To be documented.
+
+See \ref analyses and \ref pointer-analysis.

doc/architectural/symbolic-executors.md

@@ -3,6 +3,6 @@
 
 \author 
 
-## Symex class ##
+## Symbolic execution ##
 
-To be documented.
+See \ref symex-overview.