site: update agda docs with type preview

Author: will-break-it

site/agda-docs.config.json

@@ -2,6 +2,5 @@
   "backButtonUrl": "/formal-spec/",
   "inputDir": "./static/formal-spec",
   "modules": ["Leios", "Cardano", "Ouroboros", "Ledger", "Ledger-Spec"],
-  "githubUrl": "https://github.com/input-output-hk/ouroboros-leios-formal-spec",
-  "searchGranularity": "comprehensive"
+  "githubUrl": "https://github.com/input-output-hk/ouroboros-leios-formal-spec"
 } 

site/package-lock.json

@@ -19,7 +19,7 @@
     "@docusaurus/core": "3.4.0",
     "@docusaurus/preset-classic": "3.4.0",
     "@mdx-js/react": "^3.0.0",
-    "agda-web-docs-lib": "^0.3.1",
+    "agda-web-docs-lib": "^0.4.0",
     "clsx": "^2.0.0",
     "prism-react-renderer": "^2.3.0",
     "react": "^18.0.0",