Add page on models and varinfos

Author: penelopeysm

_quarto.yml

@@ -117,6 +117,11 @@ website:
               - developers/compiler/minituring-contexts/index.qmd
               - developers/compiler/design-overview/index.qmd
 
+          - section: "DynamicPPL Models"
+            collapse-level: 1
+            contents:
+              - developers/models/varinfo-overview/index.qmd
+
           - section: "DynamicPPL Contexts"
             collapse-level: 1
             contents:
@@ -267,3 +272,4 @@ dev-transforms-distributions: developers/transforms/distributions
 dev-transforms-bijectors: developers/transforms/bijectors
 dev-transforms-dynamicppl: developers/transforms/dynamicppl
 dev-contexts-submodel-condition: developers/contexts/submodel-condition
+dev-models-varinfo-overview: developers/models/varinfo-overview