diff --git a/astro.config.mjs b/astro.config.mjs
index 5d3c99d..e192fbd 100644
--- a/astro.config.mjs
+++ b/astro.config.mjs
@@ -2,19 +2,22 @@ import sitemap from '@astrojs/sitemap'
 import svelte from '@astrojs/svelte'
 import tailwind from '@astrojs/tailwind'
 import { defineConfig } from 'astro/config'
-
-import assetMinifier from '@playform/compress'
 import imageCompressor from 'astro-better-image-service'
 import assetCompressor from 'astro-compressor'
 import metadata from 'astro-meta-tags'
 import insights from 'astro-page-insight'
 import purgecss from 'astro-purgecss'
+
+import assetMinifier from '@playform/compress'
 import { FontaineTransform } from 'fontaine'
 
 /** @type {boolean} */
 const isProd = process.env.NODE_ENV === 'production'
 
-/** @type {object} */
+/**
+ * @type {object}
+ * @todo Move this to a config file.
+ */
 const sitemapConfig = {
   i18n: {
     defaultLocale: 'fr',
@@ -32,10 +35,16 @@ const assetMinifierConfig = {
 /** @type {number} */
 const port = 4321
 
-/** @type {string} */
+/**
+ * @type {string}
+ * @todo Move this to a config file (at least the production URL).
+ */
 const site = isProd ? 'https://maisonquiroga.art' : `http://localhost:${port}`
 
-/** @type {object} */
+/**
+ * @type {object}
+ * @todo Move this to a config file.
+ */
 const vite = {
   plugins: [
     FontaineTransform.vite({
diff --git a/eslint.config.mjs b/eslint.config.mjs
index 383bcdd..191ec37 100644
--- a/eslint.config.mjs
+++ b/eslint.config.mjs
@@ -6,6 +6,8 @@ import tailwind from 'eslint-plugin-tailwindcss'
 import neostandard from 'neostandard'
 import { parser } from 'typescript-eslint'
 
+import restrictedImports from './src/config/imports-policy.mjs'
+
 const standard = neostandard({
   ignores: [
     ...neostandard.resolveIgnoresFromGitignore(),
@@ -24,6 +26,7 @@ export default [
   ...astro.configs.recommended,
   ...svelte.configs['flat/recommended'],
   ...svelte.configs['flat/prettier'],
+  ...restrictedImports,
   {
     rules: {
       '@stylistic/comma-dangle': 'off',
diff --git a/package.json b/package.json
index dad30b1..9cbc29c 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,7 @@
 {
   "name": "@redtech/maisonquiroga",
   "version": "0.1.0",
+  "type": "module",
   "license": "AGPL-3.0-or-later",
   "private": true,
   "packageManager": "yarn@4.3.1",
@@ -15,6 +16,7 @@
     "check:eslint": "eslint .",
     "check:prettier": "prettylint .",
     "check:stylelint": "stylelint '**/*.{css,astro,svelte}'",
+    "check:todo": "leasot src/**/*.ts",
     "dev": "astro dev",
     "format": "run-s format:eslint format:prettier format:stylelint",
     "format:eslint": "yarn check:eslint --fix",
@@ -55,6 +57,8 @@
     "eslint-plugin-tailwindcss": "^3.17.4",
     "fontaine": "^0.5.0",
     "husky": "^9.1.4",
+    "leasot": "^14.4.0",
+    "lowdb": "^7.0.1",
     "neostandard": "^0.11.2",
     "npm-run-all2": "^6.2.2",
     "postcss": "^8.4.41",
diff --git a/prettier.config.mjs b/prettier.config.mjs
index c038b55..5a3b0a3 100644
--- a/prettier.config.mjs
+++ b/prettier.config.mjs
@@ -1,3 +1,6 @@
+/** @type {import('prettier').Config} */
+import sortedImports from './src/config/imports-order.mjs'
+
 /** @type {import('prettier').Config} */
 export default {
   // StandardJS
@@ -7,61 +10,6 @@ export default {
   embeddedLanguageFormatting: 'auto',
   endOfLine: 'lf',
   htmlWhitespaceSensitivity: 'css',
-  importOrder: [
-    '<TYPES>',
-    '<TYPES>^(@astrojs/)',
-    '<TYPES>^(astro/)',
-    '<TYPES>^(astro:)',
-    '<TYPES>^(svelte)',
-    '<TYPES>^(@\\w)',
-    '<TYPES>^(\\w)',
-    '<TYPES>^([#])',
-    '<TYPES>^([~])',
-    '<TYPES>^([&])',
-    '<TYPES>^([$])',
-    '<TYPES>^([+])',
-    '<TYPES>^([^])',
-    '<TYPES>^([@])',
-    '<TYPES>^([%])',
-    '<TYPES>^([;])',
-    '<TYPES>^([./])',
-    '<TYPES>^([../])',
-    '',
-    '<BUILTIN_MODULES>',
-    '',
-    '<THIRD_PARTY_MODULES>',
-    '',
-    '^(@astrojs/)(.*)$',
-    '^(astro/)(.*)$',
-    '^(astro:)(.*)$',
-    '',
-    '^(svelte)(.*)$',
-    '',
-    '^(@\\w)(.*)$',
-    '^(\\w)(.*)$',
-    '',
-    '^[#/](.*)$',
-    '',
-    '^[~/](.*)$',
-    '',
-    '^[&/](.*)$',
-    '',
-    '^[$/](.*)$',
-    '',
-    '^[+/](.*)$',
-    '',
-    '^[\\^/](.*)$',
-    '',
-    '^[@/](.*)$',
-    '',
-    '^[%/](.*)$',
-    '',
-    '^[;/](.*)$',
-    '',
-    '^[./]',
-    '',
-    '^[../]'
-  ],
   insertPragma: false,
   jsxSingleQuote: true,
   printWidth: 80,
@@ -84,5 +32,7 @@ export default {
     'prettier-plugin-sh',
     'prettier-plugin-svelte',
     'prettier-plugin-tailwindcss'
-  ]
+  ],
+  // Sorted imports
+  ...sortedImports
 }
diff --git a/src/adapters/infrastructure/db/lowdb.ts b/src/adapters/infrastructure/db/lowdb.ts
new file mode 100644
index 0000000..e4d33d9
--- /dev/null
+++ b/src/adapters/infrastructure/db/lowdb.ts
@@ -0,0 +1,71 @@
+/**
+ * Lowdb adapter
+ *
+ * @module lowdb
+ * @todo Move types to {@link to &/ports.ts}
+ */
+
+import type { Data, Load } from '&/ports.ts'
+
+import { Low } from 'lowdb'
+import { JSONFile } from 'lowdb/node'
+
+import { map } from '$/utils/adt/maybe.ts'
+import { compose } from '$/utils/fun/compose.ts'
+
+/** Connection to a database. */
+type Conn<A> = Low<A>
+
+/**
+ * Generic connect function.
+ *
+ * @typeParam A
+ * @param {string} path - The path used to establish the connection.
+ * @returns The connection object of type Conn<A>.
+ */
+type Connect<A> = (path: string) => Conn<A>
+
+/** Connect to a database. */
+const connect: Connect<Data> = (path) => new Low<Data>(new JSONFile(path), {})
+
+/**
+ * Read a value from a given connection.
+ *
+ * @typeParam A
+ * @param {Conn<A>} conn - The connection to read the value from.
+ * @returns A function that when called, returns a Promise.
+ * @todo {@link null} here is an implementation detail leaked from {@link Low}
+ */
+type Read<A> = (conn: Readonly<Conn<A>>) => () => Promise<A | null>
+
+/** Read a value from a given connection. */
+const read: Read<Data> = (conn) => async () => await conn.adapter.read()
+
+/**
+ * An indeterminacy, returning a {@link Promise}.
+ *
+ * @note We may think of a {@link Indet}  as a "fp-ts/Task" or an
+ *   "effect-ts/Effect".For us, it is less about what is to be done, as to what
+ *   is to be known. That is, how the future unfolds, so to speak.
+ * @see {@link https://fr.hegel.net/f111.htm}
+ * @todo Make this a generic type.
+ *
+ * @todo Implement for {@link Maybe}.
+ *
+ * @todo Implement for {@link Result} (alias Either).
+ */
+export type Indet<A> = () => Promise<A>
+
+/** A determinacy, resolving an indeterminacy. */
+export type Det<A, B, C> = (f: A) => (g: Indet<B>) => Indet<C>
+
+/** A determinacy, resolving an indeterminacy. */
+const det: Det<Read<Data>, Conn<Data>, Data | null> = (f) => (g) => {
+  return async () => {
+    const result = await g()
+    return result ? await f(result)() : null
+  }
+}
+
+/** Load data for the database. */
+export const load: Load<Data> = map(compose([det, read, connect]))
diff --git a/src/adapters/infrastructure/ports.ts b/src/adapters/infrastructure/ports.ts
new file mode 100644
index 0000000..6bb3e97
--- /dev/null
+++ b/src/adapters/infrastructure/ports.ts
@@ -0,0 +1,24 @@
+/**
+ * Infrastructure ports.
+ *
+ * @module ports
+ */
+
+import type { Just, Maybe } from '$/types.ts'
+
+/** Data read from a database. */
+export type Data = {
+  [key: Readonly<string>]: {
+    [key: Readonly<string>]: {
+      [key: Readonly<string>]: Readonly<string>
+    }
+  }
+}
+
+/**
+ * Load data from a database.
+ *
+ * @param {Just<string>} path - The path from which to load the value.
+ * @returns {Maybe<Data>} - The value loaded from the database.
+ */
+export type Load<Data> = (path: Just<string>) => Maybe<Data>
diff --git a/src/app/stores/CityStore.ts b/src/adapters/stores/CityStore.ts
similarity index 83%
rename from src/app/stores/CityStore.ts
rename to src/adapters/stores/CityStore.ts
index 1cc3385..10b75b2 100644
--- a/src/app/stores/CityStore.ts
+++ b/src/adapters/stores/CityStore.ts
@@ -1,10 +1,12 @@
 import type { Readable } from 'svelte/store'
+
 import type { WithContext } from 'schema-dts'
-import type { City } from '&/entities'
+
+import type { City } from '^/entities'
 
 import { get, readable } from 'svelte/store'
 
-import { chili, france } from '$/stores/CountryStore'
+import { chili, france } from '+/CountryStore'
 
 export const paris: Readable<WithContext<City>> = readable({
   '@context': 'https://schema.org',
diff --git a/src/app/stores/CountryStore.ts b/src/adapters/stores/CountryStore.ts
similarity index 90%
rename from src/app/stores/CountryStore.ts
rename to src/adapters/stores/CountryStore.ts
index 5a409c8..138639a 100644
--- a/src/app/stores/CountryStore.ts
+++ b/src/adapters/stores/CountryStore.ts
@@ -1,6 +1,8 @@
 import type { Readable } from 'svelte/store'
+
 import type { WithContext } from 'schema-dts'
-import type { Country } from '&/entities'
+
+import type { Country } from '^/entities'
 
 import { readable } from 'svelte/store'
 
diff --git a/src/app/stores/GeoCoordinatesStore.ts b/src/adapters/stores/GeoCoordinatesStore.ts
similarity index 80%
rename from src/app/stores/GeoCoordinatesStore.ts
rename to src/adapters/stores/GeoCoordinatesStore.ts
index acd61d7..106b424 100644
--- a/src/app/stores/GeoCoordinatesStore.ts
+++ b/src/adapters/stores/GeoCoordinatesStore.ts
@@ -1,10 +1,12 @@
 import type { Readable } from 'svelte/store'
+
 import type { WithContext } from 'schema-dts'
-import type { GeoCoordinates } from '&/entities'
+
+import type { GeoCoordinates } from '^/entities'
 
 import { get, readable } from 'svelte/store'
 
-import { adresseMaisonQuiroga } from '$/stores/PostalAddressStore'
+import { adresseMaisonQuiroga } from '+/PostalAddressStore'
 
 const { name, url } = get(adresseMaisonQuiroga)
 
diff --git a/src/app/stores/PostalAddressStore.ts b/src/adapters/stores/PostalAddressStore.ts
similarity index 94%
rename from src/app/stores/PostalAddressStore.ts
rename to src/adapters/stores/PostalAddressStore.ts
index 8c3b94e..4bebc99 100644
--- a/src/app/stores/PostalAddressStore.ts
+++ b/src/adapters/stores/PostalAddressStore.ts
@@ -1,6 +1,8 @@
 import type { Readable } from 'svelte/store'
+
 import type { WithContext } from 'schema-dts'
-import type { PostalAddress } from '&/entities'
+
+import type { PostalAddress } from '^/entities'
 
 import { readable } from 'svelte/store'
 
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-300-FR.woff2 b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-300-FR.woff2
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-300-FR.woff2
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-300-FR.woff2
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-300.otf b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-300.otf
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-300.otf
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-300.otf
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-400-FR.woff2 b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-400-FR.woff2
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-400-FR.woff2
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-400-FR.woff2
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-400.otf b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-400.otf
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-400.otf
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-400.otf
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-500-FR.woff2 b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-500-FR.woff2
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-500-FR.woff2
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-500-FR.woff2
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-500.otf b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-500.otf
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-500.otf
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-500.otf
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-700-FR.woff2 b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-700-FR.woff2
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-700-FR.woff2
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-700-FR.woff2
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-700.otf b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-700.otf
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-700.otf
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-700.otf
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-900-FR.woff2 b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-900-FR.woff2
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-900-FR.woff2
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-900-FR.woff2
diff --git a/src/ui/assets/fonts/AkzidenzGrotesk-900.otf b/src/adapters/ui/assets/fonts/AkzidenzGrotesk-900.otf
similarity index 100%
rename from src/ui/assets/fonts/AkzidenzGrotesk-900.otf
rename to src/adapters/ui/assets/fonts/AkzidenzGrotesk-900.otf
diff --git a/src/ui/assets/images/logo.jpg b/src/adapters/ui/assets/images/logo.jpg
similarity index 100%
rename from src/ui/assets/images/logo.jpg
rename to src/adapters/ui/assets/images/logo.jpg
diff --git a/src/ui/assets/images/roberto.jpg b/src/adapters/ui/assets/images/roberto.jpg
similarity index 100%
rename from src/ui/assets/images/roberto.jpg
rename to src/adapters/ui/assets/images/roberto.jpg
diff --git a/src/ui/assets/styles/_base.css b/src/adapters/ui/assets/styles/_base.css
similarity index 100%
rename from src/ui/assets/styles/_base.css
rename to src/adapters/ui/assets/styles/_base.css
diff --git a/src/ui/assets/styles/_font.css b/src/adapters/ui/assets/styles/_font.css
similarity index 100%
rename from src/ui/assets/styles/_font.css
rename to src/adapters/ui/assets/styles/_font.css
diff --git a/src/ui/assets/styles/_text.css b/src/adapters/ui/assets/styles/_text.css
similarity index 100%
rename from src/ui/assets/styles/_text.css
rename to src/adapters/ui/assets/styles/_text.css
diff --git a/src/ui/assets/styles/global.css b/src/adapters/ui/assets/styles/global.css
similarity index 100%
rename from src/ui/assets/styles/global.css
rename to src/adapters/ui/assets/styles/global.css
diff --git a/src/ui/components/Logo.astro b/src/adapters/ui/atoms/Logo.astro
similarity index 100%
rename from src/ui/components/Logo.astro
rename to src/adapters/ui/atoms/Logo.astro
diff --git a/src/ui/components/Bio.astro b/src/adapters/ui/blocks/Bio.astro
similarity index 100%
rename from src/ui/components/Bio.astro
rename to src/adapters/ui/blocks/Bio.astro
diff --git a/src/ui/components/BioArticle.svelte b/src/adapters/ui/blocks/BioArticle.svelte
similarity index 100%
rename from src/ui/components/BioArticle.svelte
rename to src/adapters/ui/blocks/BioArticle.svelte
diff --git a/src/ui/components/BioFigure.astro b/src/adapters/ui/blocks/BioFigure.astro
similarity index 95%
rename from src/ui/components/BioFigure.astro
rename to src/adapters/ui/blocks/BioFigure.astro
index c8d147b..c046a5f 100644
--- a/src/ui/components/BioFigure.astro
+++ b/src/adapters/ui/blocks/BioFigure.astro
@@ -3,7 +3,7 @@ import { Image } from 'astro:assets'
 
 import resolveConfig from 'tailwindcss/resolveConfig'
 
-import tailwindConfig from '#/tailwind.config'
+import tailwindConfig from '=/tailwind.config'
 
 const { theme } = resolveConfig(tailwindConfig)
 const { screens } = theme
diff --git a/src/ui/components/HeaderTitle.svelte b/src/adapters/ui/blocks/HeaderTitle.svelte
similarity index 100%
rename from src/ui/components/HeaderTitle.svelte
rename to src/adapters/ui/blocks/HeaderTitle.svelte
diff --git a/src/ui/components/Meta/MetaGeo.svelte b/src/adapters/ui/blocks/Meta/MetaGeo.svelte
similarity index 83%
rename from src/ui/components/Meta/MetaGeo.svelte
rename to src/adapters/ui/blocks/Meta/MetaGeo.svelte
index bef50cd..824ff54 100644
--- a/src/ui/components/Meta/MetaGeo.svelte
+++ b/src/adapters/ui/blocks/Meta/MetaGeo.svelte
@@ -9,8 +9,8 @@
 </script>
 
 <script lang="ts">
-  import { geoMaisonQuiroga } from '$/stores/GeoCoordinatesStore'
-  import { adresseMaisonQuiroga } from '$/stores/PostalAddressStore'
+  import { geoMaisonQuiroga } from '+/GeoCoordinatesStore'
+  import { adresseMaisonQuiroga } from '+/PostalAddressStore'
 
   const { addressCountry, latitude, longitude } = get(geoMaisonQuiroga)
   const { streetAddress, addressLocality } = get(adresseMaisonQuiroga)
diff --git a/src/ui/components/Nav.svelte b/src/adapters/ui/blocks/Nav.svelte
similarity index 100%
rename from src/ui/components/Nav.svelte
rename to src/adapters/ui/blocks/Nav.svelte
diff --git a/src/ui/components/Curriculum.svelte b/src/adapters/ui/prouns/Curriculum.svelte
similarity index 100%
rename from src/ui/components/Curriculum.svelte
rename to src/adapters/ui/prouns/Curriculum.svelte
diff --git a/src/ui/components/Footer.svelte b/src/adapters/ui/prouns/Footer.svelte
similarity index 100%
rename from src/ui/components/Footer.svelte
rename to src/adapters/ui/prouns/Footer.svelte
diff --git a/src/ui/components/Head.astro b/src/adapters/ui/prouns/Head.astro
similarity index 90%
rename from src/ui/components/Head.astro
rename to src/adapters/ui/prouns/Head.astro
index 7b2ec9f..0fff811 100644
--- a/src/ui/components/Head.astro
+++ b/src/adapters/ui/prouns/Head.astro
@@ -1,13 +1,15 @@
 ---
+/* eslint-disable astro/no-conflict-set-directives,astro/valid-compile */
+
 import { getImage } from 'astro:assets'
 
 import resolveConfig from 'tailwindcss/resolveConfig'
 
-import ';/styles/global.css'
+import tailwindConfig from '=/tailwind.config'
 
-import tailwindConfig from '#/tailwind.config'
+import MetaGeo from ';/blocks/Meta/MetaGeo.svelte'
 
-import MetaGeo from '^/components/Meta/MetaGeo.svelte'
+import css from ';/assets/styles/global.css'
 
 const {
   url,
@@ -102,3 +104,7 @@ const schema = {
     type='application/ld+json'
   />
 </head>
+
+<style set:html={css}>
+  /* stylelint-disable no-empty-source */
+</style>
diff --git a/src/ui/components/Header.astro b/src/adapters/ui/prouns/Header.astro
similarity index 75%
rename from src/ui/components/Header.astro
rename to src/adapters/ui/prouns/Header.astro
index 75e250f..fb561e4 100644
--- a/src/ui/components/Header.astro
+++ b/src/adapters/ui/prouns/Header.astro
@@ -1,6 +1,6 @@
 ---
-import HeaderTitle from './HeaderTitle.svelte'
-import Logo from './Logo.astro'
+import Logo from ';/atoms/Logo.astro'
+import HeaderTitle from ';/blocks/HeaderTitle.svelte'
 
 const { logo } = Astro.props
 const h1 = {
diff --git a/src/ui/screens/Home.astro b/src/adapters/ui/screens/Home.astro
similarity index 78%
rename from src/ui/screens/Home.astro
rename to src/adapters/ui/screens/Home.astro
index 5801ce6..b77448d 100644
--- a/src/ui/screens/Home.astro
+++ b/src/adapters/ui/screens/Home.astro
@@ -1,16 +1,16 @@
 ---
-import type { NavProps } from '~/types'
+import type { NavProps } from '$/types'
 
 import { get } from 'svelte/store'
 
-import { adresseMaisonQuiroga } from '$/stores/PostalAddressStore'
+import { adresseMaisonQuiroga } from '+/PostalAddressStore'
 
-import Footer from '^/components/Footer.svelte'
-import Head from '^/components/Head.astro'
-import Header from '^/components/Header.astro'
-import Nav from '^/components/Nav.svelte'
+import Nav from ';/blocks/Nav.svelte'
+import Footer from ';/prouns/Footer.svelte'
+import Head from ';/prouns/Head.astro'
+import Header from ';/prouns/Header.astro'
 
-import coverImage from ';/images/logo.jpg'
+import coverImage from ';/assets/images/logo.jpg'
 
 const { profileImage } = Astro.props
 const images = { coverImage, profileImage }
diff --git a/src/app/utils/composition/pipe.ts b/src/app/utils/composition/pipe.ts
deleted file mode 100644
index 610d680..0000000
--- a/src/app/utils/composition/pipe.ts
+++ /dev/null
@@ -1,15 +0,0 @@
-/**
- * Pipe operator.
- *
- * @module pipe
- */
-
-import type { Compose } from '~/types'
-
-import { compose } from '$/utils/composition/compose'
-
-/** Pipe a value through an array of functions. */
-export type Pipe = Compose
-
-/** Pipe a value through an array of functions. */
-export const pipe: Pipe = compose
diff --git a/src/app/utils/control-flow/guard.ts b/src/app/utils/control-flow/guard.ts
deleted file mode 100644
index 19eff5b..0000000
--- a/src/app/utils/control-flow/guard.ts
+++ /dev/null
@@ -1,5 +0,0 @@
-/**
- * Guard utils, aka validators.
- *
- * @module guard
- */
diff --git a/src/app/utils/control-flow/match.ts b/src/app/utils/control-flow/match.ts
deleted file mode 100644
index f55d802..0000000
--- a/src/app/utils/control-flow/match.ts
+++ /dev/null
@@ -1,11 +0,0 @@
-/**
- * Pattern matching utils.
- *
- * @module match
- */
-
-import type { Match as MatchMaybe } from '$/utils/adt/maybe'
-import type { Match as MatchResult } from '$/utils/adt/result'
-
-export type Match = MatchMaybe | MatchResult
-export { match } from 'ts-pattern'
diff --git a/src/app/utils/typeclass/functor.ts b/src/app/utils/typeclass/functor.ts
deleted file mode 100644
index a121970..0000000
--- a/src/app/utils/typeclass/functor.ts
+++ /dev/null
@@ -1,7 +0,0 @@
-/**
- * Functor typeclass implementing map.
- *
- * @module functor
- */
-
-export type { Map } from '$/utils/adt/maybe'
diff --git a/src/common/types.ts b/src/common/types.ts
new file mode 100644
index 0000000..c995fec
--- /dev/null
+++ b/src/common/types.ts
@@ -0,0 +1,7 @@
+export type { Refinable } from '$/utils/typeclass/refinable.js'
+export type { Compose } from '$/utils/fun/compose.js'
+export type { Just, Maybe } from '$/utils/adt/maybe.js'
+export type { NavProps } from ';/blocks/Nav.svelte'
+export type { Match } from '$/utils/pat/match.ts'
+export type { Guard } from '$/utils/pat/guard.ts'
+export type { Result } from '$/utils/adt/result.ts'
diff --git a/src/infra/.gitkeep b/src/common/ui/atoms/.gitkeep
similarity index 100%
rename from src/infra/.gitkeep
rename to src/common/ui/atoms/.gitkeep
diff --git a/test/unit/app/utils/control-flow/.gitkeep b/src/common/ui/blocks/.gitkeep
similarity index 100%
rename from test/unit/app/utils/control-flow/.gitkeep
rename to src/common/ui/blocks/.gitkeep
diff --git a/src/common/ui/prouns/.gitkeep b/src/common/ui/prouns/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/src/app/utils/adt/maybe.ts b/src/common/utils/adt/maybe.ts
similarity index 85%
rename from src/app/utils/adt/maybe.ts
rename to src/common/utils/adt/maybe.ts
index 1391b61..fb91021 100644
--- a/src/app/utils/adt/maybe.ts
+++ b/src/common/utils/adt/maybe.ts
@@ -5,10 +5,10 @@
  */
 
 /** To narrow down value types. */
-import type { Refinement } from '~/types'
+import type { Refinable } from '$/types.ts'
 
 /** To pattern match values. */
-import { match as pmatch } from '$/utils/control-flow/match'
+import { match as pmatch } from '$/utils/pat/match.ts'
 
 /** Data type for values that may or may not be present. */
 export type Maybe<A> = Nothing | Just<A>
@@ -46,7 +46,7 @@ export const nothing: Maybe<never> = { _tag: 'Nothing' }
  * @param {unknown} x - The value to be checked.
  * @returns {boolean} - True if the value is {@link Just}, false otherwise.
  */
-export const isJust: Refinement<Maybe<unknown>, Just<unknown>> = (
+export const isJust: Refinable<Maybe<unknown>, Just<unknown>> = (
   x: Maybe<unknown>
 ): x is Just<unknown> => x._tag === 'Just'
 
@@ -57,7 +57,7 @@ export const isJust: Refinement<Maybe<unknown>, Just<unknown>> = (
  * @param {unknown} x - The value to be checked.
  * @returns {boolean} - True if the value is {@link Nothing}, false otherwise.
  */
-export const isNothing: Refinement<Maybe<unknown>, Nothing> = (
+export const isNothing: Refinable<Maybe<unknown>, Nothing> = (
   x: Maybe<unknown>
 ): x is Nothing => x._tag === 'Nothing'
 
@@ -67,20 +67,20 @@ type OnJust<J, O> = (a: J) => O
 /** Callback if a value is {@link Nothing}. */
 type OnNothing<N> = () => N
 
-/** Matcher over {@link Maybe} */
-export type Matcher<N, J, O = J> = (a: Maybe<J>) => N | O
+/** Guard over {@link Maybe} */
+export type Guard<N, J, O = J> = (a: Maybe<J>) => N | O
 
 /**
  * Match a {@link Maybe} value and apply the appropriate callbacks.
  *
  * @param {OnNothing} a - Function to apply when the value is {@link Nothing}.
  * @param {OnJust} b - Function to apply when the value is {@link Just}.
- * @returns {Matcher} The result of performing the match.
+ * @returns {Guard} The result of performing the match.
  */
 export type Match = <N, J, O>(
   a: OnNothing<N>,
   b: OnJust<J, O>
-) => Matcher<N, J, O>
+) => Guard<N, J, O>
 
 /** Match a {@link Maybe} value and apply the appropriate callbacks. */
 export const match: Match = (onNothing, onJust) => (x) =>
@@ -101,6 +101,7 @@ export type Map = <A, B>(f: (x: A) => B) => (Fx: Maybe<A>) => Maybe<B>
 /**
  * Maybe functor to wrap/unwrap a function.
  *
+ * @note fmap @Maybe :: (a -> b) ->  Maybe a -> Maybe b
  * @todo Add support for curried functions.
  */
 export const map: Map = (f) =>
diff --git a/src/app/utils/adt/result.ts b/src/common/utils/adt/result.ts
similarity index 80%
rename from src/app/utils/adt/result.ts
rename to src/common/utils/adt/result.ts
index ef6b63c..6ca1db8 100644
--- a/src/app/utils/adt/result.ts
+++ b/src/common/utils/adt/result.ts
@@ -5,12 +5,20 @@
  */
 
 /** To pattern match values. */
-import { match as pmatch } from '$/utils/control-flow/match'
+import { match as _ } from '$/utils/pat/match.ts'
 
-/** Data type for values that may succeed or fail. */
+/**
+ * Data type for values that may succeed or fail.
+ *
+ * @note either :: (a -> c) -> (b -> c) -> Either a b -> c
+ */
 export type Result<F, S> = Failure<F> | Success<S>
 
-/** Data type for values that succeed. */
+/**
+ * Data type for values that succeed.
+ *
+ * @note Right :: b -> Either a b
+ */
 export type Success<S> = Readonly<{
   _tag: 'Success'
   value: S
@@ -27,7 +35,11 @@ export const success = <S, F = never>(s: S): Result<F, S> => ({
   value: s
 })
 
-/** Data type for values that fail. */
+/**
+ * Data type for values that fail.
+ *
+ * @note Left :: a -> Either a b
+ */
 export type Failure<F> = Readonly<{
   _tag: 'Failure'
   error: F
@@ -68,24 +80,24 @@ type OnSuccess<A, B> = (a: A) => B
 /** Callback if a value is {@link Failure}. */
 type OnFailure<F, B> = (a: F) => B
 
-/** Matcher over {@link Result} */
-export type Matcher<F, A = F, B = A, C = B> = (a: Result<F, A>) => B | C
+/** Guard over {@link Result} */
+export type Guard<F, A = F, B = A, C = B> = (a: Result<F, A>) => B | C
 
 /**
  * Match a {@link Result} value and apply the appropriate callbacks.
  *
  * @param {OnFailure} a - The function to call when {@link Failure}.
  * @param {OnSuccess} b - The function to call when {@link Success}.
- * @returns {Matcher} - The result of performing the match.
+ * @returns {Guard} - The result of performing the match.
  */
 export type Match = <F, A, B, C>(
   a: OnFailure<F, B>,
   b: OnSuccess<A, B>
-) => Matcher<F, A, B, C>
+) => Guard<F, A, B, C>
 
 /** Match a {@link Result} value and apply the appropriate callbacks. */
 export const match: Match = (onFailure, onSuccess) => (x) =>
-  pmatch(x)
+  _(x)
     .with({ _tag: 'Failure' }, ({ error }) => onFailure(error))
     .with({ _tag: 'Success' }, ({ value }) => onSuccess(value))
     .exhaustive()
diff --git a/src/common/utils/adt/struct.ts b/src/common/utils/adt/struct.ts
new file mode 100644
index 0000000..7436687
--- /dev/null
+++ b/src/common/utils/adt/struct.ts
@@ -0,0 +1,20 @@
+/*
+ * Struct "product type".
+ *
+ * @definition A product type is a collection of types Ti indexed by a set I.
+ * @see {@link https://github.com/enricopolanski/functional-programming}
+ *
+ * @module Struct
+ */
+
+/*
+ * Struct type.
+ *
+ * @example
+ *   const struct1: Struct<[...number[]]> = [1]
+ *   const struct2: Struct<[...string[]]> = ["a"]
+ *   const struct3: Struct<[...(number|string|boolean)[]]> = [1, "a", false]
+ */
+export type Struct<A extends unknown[]> = {
+  readonly [K in keyof A]: A[K]
+}
diff --git a/src/common/utils/adt/tuple.ts b/src/common/utils/adt/tuple.ts
new file mode 100644
index 0000000..07f906f
--- /dev/null
+++ b/src/common/utils/adt/tuple.ts
@@ -0,0 +1,18 @@
+/*
+ * Tuple "product type".
+ *
+ * @definition A product type is a collection of types Ti indexed by a set I.
+ * @see {@link https://github.com/enricopolanski/functional-programming}
+ *
+ * @module Tuple
+ */
+
+/*
+ * Tuple type.
+ *
+ * @example
+ *   const tuple1: Tuple<number[]> = [1]
+ *   const tuple2: Tuple<number[]> = [1, 2]
+ *   const tuple3: Tuple<[...(number | string)[]]> = [1, 2, "3"]
+ */
+export type Tuple<A extends unknown[]> = [...A]
diff --git a/src/app/utils/composition/compose.ts b/src/common/utils/fun/compose.ts
similarity index 85%
rename from src/app/utils/composition/compose.ts
rename to src/common/utils/fun/compose.ts
index 2e4592f..d78d35d 100644
--- a/src/app/utils/composition/compose.ts
+++ b/src/common/utils/fun/compose.ts
@@ -5,12 +5,17 @@
  */
 
 /** To pattern match values. */
-import { match } from '$/utils/control-flow/match'
+import { match } from '$/utils/pat/match.ts'
 
 /** Function type that takes a value of type A and returns a value of type B. */
 type Fn<A, B> = (a: A) => B
 
-/** Compose type definition. */
+/**
+ * Compose type definition.
+ *
+ * @note flip (.) :: (a -> b) -> (b -> c) -> a -> c
+ * @todo Implement this function left to right.
+ */
 export type Compose = {
   <A, B, C, D>(a: Readonly<[Fn<A, B>, Fn<B, C>, Fn<C, D>]>): Fn<A, D>
   <A, B, C>(a: Readonly<[Fn<A, B>, Fn<B, C>]>): Fn<A, C>
diff --git a/src/common/utils/fun/pipe.ts b/src/common/utils/fun/pipe.ts
new file mode 100644
index 0000000..c23f9c1
--- /dev/null
+++ b/src/common/utils/fun/pipe.ts
@@ -0,0 +1,20 @@
+/**
+ * Pipe operator.
+ *
+ * @module pipe
+ */
+
+import type { Compose } from '$/types.ts'
+
+import { compose } from '$/utils/fun/compose.ts'
+
+/**
+ * Pipe a value through an array of functions.
+ *
+ * @note (&) :: a -> (a -> b) -> b
+ * @todo Implement this function correctly.
+ */
+export type Pipe = Compose
+
+/** Pipe a value through an array of functions. */
+export const pipe: Pipe = compose
diff --git a/src/common/utils/pat/guard.ts b/src/common/utils/pat/guard.ts
new file mode 100644
index 0000000..15040ba
--- /dev/null
+++ b/src/common/utils/pat/guard.ts
@@ -0,0 +1,24 @@
+/**
+ * Guard utils, aka validators.
+ *
+ * A guard is just a boolean expression that operates on the variables of the
+ * pattern. Every function definition can have any number of guards. The variant
+ * of the function that gets executed is the first one that has the guard
+ * returning true. There is also the otherwise keyword that gets executed in
+ * case none of the other guards did.
+ *
+ * @module guard
+ * @see {@link https://www.politesi.polimi.it/retrieve/a81cb05c-c3c0-616b-e053-1605fe0a889a/Tesi.pdf}
+ */
+
+import type { Guard as GuardMaybe } from '$/utils/adt/maybe.ts'
+import type { Guard as GuardResult } from '$/utils/adt/result.ts'
+
+/**
+ * Guard type.
+ *
+ * @note
+ *   guard :: (a -> c) -> (b -> c) -> Either a b -> c
+ * @todo Check if this is the correct signature.
+ */
+export type Guard<N, J, O> = GuardMaybe<N, J, O> | GuardResult<N, J, O>
diff --git a/src/common/utils/pat/match.ts b/src/common/utils/pat/match.ts
new file mode 100644
index 0000000..ba730fb
--- /dev/null
+++ b/src/common/utils/pat/match.ts
@@ -0,0 +1,38 @@
+/**
+ * Pattern matching utils.
+ *
+ * Attempting to match a pattern can have one of three results: it fails, it
+ * succeeds, returning a binding for each variable in the pattern, or it is
+ * undefined. Pattern matching proceeds from left to right, and outside to
+ * inside.
+ *
+ * @module match
+ * @see {@link https://www.politesi.polimi.it/retrieve/a81cb05c-c3c0-616b-e053-1605fe0a889a/Tesi.pdf}
+ */
+
+import type { Match as MatchMaybe } from '$/utils/adt/maybe.ts'
+import type { Match as MatchResult } from '$/utils/adt/result.ts'
+
+/*
+ * Generic pattern match.
+ *
+ * @note
+ *   pat => lpat qconop pat (infix constructor)
+ *        | lpat
+ *   lpat => apat
+ *        | - (integer | float) (negative literal)
+ *        | gcon apat1 ... apatk (arity gcon = k, k >= 1)
+ *   apat => var [ @ apat] (as pattern)
+ *        | gcon (arity gcon = 0)
+ *        | qcon { fpat1 ... fpatk } (labeled pattern, k >= 0)
+ *        | literal
+ *        | _ (wildcard)
+ *        | ( pat ) (parenthesized pattern)
+ *        | ( pat1 ... patk ) (tuple pattern, k >= 2)
+ *        | [ pat1 ... patk ] (list pattern, k >= 1)
+ *        | ˜ apat (irrefutable pattern)
+ *  fpat => qvar = pat
+ */
+export type Match = MatchMaybe | MatchResult
+
+export { match } from 'ts-pattern'
diff --git a/src/app/utils/types/number.ts b/src/common/utils/type/number.ts
similarity index 79%
rename from src/app/utils/types/number.ts
rename to src/common/utils/type/number.ts
index a35f38e..822e9fe 100644
--- a/src/app/utils/types/number.ts
+++ b/src/common/utils/type/number.ts
@@ -5,9 +5,9 @@
  */
 
 /** To narrow down value types. */
-import type { Refinement } from '~/types'
+import type { Refinable } from '$/types'
 
-export type IsNumber = Refinement<unknown, number>
+export type IsNumber = Refinable<unknown, number>
 
 /**
  * Check if a value is a {@link number}.
diff --git a/src/app/utils/types/string.ts b/src/common/utils/type/string.ts
similarity index 79%
rename from src/app/utils/types/string.ts
rename to src/common/utils/type/string.ts
index b3d05c8..2118e92 100644
--- a/src/app/utils/types/string.ts
+++ b/src/common/utils/type/string.ts
@@ -5,9 +5,9 @@
  */
 
 /** To narrow down value types. */
-import type { Refinement } from '~/types'
+import type { Refinable } from '$/types'
 
-export type IsString = Refinement<unknown, string>
+export type IsString = Refinable<unknown, string>
 
 /**
  * Check if a value is a {@link string}.
diff --git a/src/app/utils/typeclass/foldable.ts b/src/common/utils/typeclass/foldable.ts
similarity index 77%
rename from src/app/utils/typeclass/foldable.ts
rename to src/common/utils/typeclass/foldable.ts
index 4c8436a..96c3135 100644
--- a/src/app/utils/typeclass/foldable.ts
+++ b/src/common/utils/typeclass/foldable.ts
@@ -5,9 +5,13 @@
  */
 
 /** To pattern match values. */
-import { match } from '$/utils/control-flow/match'
+import { match } from '$/utils/pat/match.ts'
 
-/** Reduce a function over an array of values. */
+/**
+ * Reduce a function over an array of values.
+ *
+ * @note foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b
+ */
 export type Reduce = <A>(
   fn: (acc: A, current: A) => A
 ) => (init: A) => (values: ReadonlyArray<A>) => A
diff --git a/src/common/utils/typeclass/functor.ts b/src/common/utils/typeclass/functor.ts
new file mode 100644
index 0000000..5425e61
--- /dev/null
+++ b/src/common/utils/typeclass/functor.ts
@@ -0,0 +1,12 @@
+/**
+ * Functor typeclass implementing map.
+ *
+ * @module functor
+ */
+
+/**
+ * To lift a function into a context.
+ *
+ * @note fmap :: Functor f => (a -> b) -> f a -> f b
+ */
+export type { Map } from '$/utils/adt/maybe.ts'
diff --git a/src/app/utils/refinement/refinement.ts b/src/common/utils/typeclass/refinable.ts
similarity index 51%
rename from src/app/utils/refinement/refinement.ts
rename to src/common/utils/typeclass/refinable.ts
index 5e68efe..8efb359 100644
--- a/src/app/utils/refinement/refinement.ts
+++ b/src/common/utils/typeclass/refinable.ts
@@ -1,7 +1,10 @@
 /*
- * Refinement, aka type guards, for primitives and monadic types.
+ * Refinable, aka type guards.
  *
- * @module guards
+ * @module refinable
+ * @note
+ *   class Refinable p a b | p a -> b where
+ *     narrow :: a -> Maybe b
  */
 
 /**
@@ -11,5 +14,6 @@
  * @template B - The narrowed down type.
  * @param {A} a - The value to be checked.
  * @returns {boolean} - True if the value is of type B, false otherwise.
+ * @note narrow :: a -> Maybe b
  */
-export type Refinement<A, B extends A> = (a: A) => a is B
+export type Refinable<A, B extends A> = (a: A) => a is B
diff --git a/src/config/app.mjs b/src/config/app.mjs
new file mode 100644
index 0000000..35bd240
--- /dev/null
+++ b/src/config/app.mjs
@@ -0,0 +1,5 @@
+/**
+ * Site configuration.
+ *
+ * @module site
+ */
diff --git a/src/config/data.json b/src/config/data.json
new file mode 100644
index 0000000..e69de29
diff --git a/src/config/database.ts b/src/config/database.ts
new file mode 100644
index 0000000..31880ee
--- /dev/null
+++ b/src/config/database.ts
@@ -0,0 +1,8 @@
+/**
+ * Database configuration.
+ *
+ * @module database
+ */
+
+// @todo Implement
+// @todo Add tests
diff --git a/src/config/imports-order.mjs b/src/config/imports-order.mjs
new file mode 100644
index 0000000..330566b
--- /dev/null
+++ b/src/config/imports-order.mjs
@@ -0,0 +1,88 @@
+/**
+ * @type {import('prettier').Config}
+ * @todo Refactor this to use definitions from tsconfig.json
+ *
+ * @todo Use {@link Array.map} for this.
+ */
+export default {
+  importOrder: [
+    '<TYPES>',
+    '',
+    '<TYPES>^(@astrojs/)',
+    '<TYPES>^(astro/)',
+    '<TYPES>^(astro:)',
+    '',
+    '<TYPES>^(svelte)',
+    '',
+    '<TYPES>^(@\\w)',
+    '<TYPES>^(\\w)',
+    '',
+    '<TYPES>^([=/])',
+    '',
+    '<TYPES>^([#/])',
+    '',
+    '<TYPES>^([$/])',
+    '',
+    '<TYPES>^([%/])',
+    '',
+    '<TYPES>^([&/])',
+    '',
+    '<TYPES>^([+/])',
+    '',
+    '<TYPES>^([;/])',
+    '',
+    '<TYPES>^([@/])',
+    '',
+    '<TYPES>^([^/])',
+    '',
+    '<TYPES>^([~/])',
+    '',
+    '<TYPES>^([./])',
+    '',
+    '<BUILTIN_MODULES>',
+    '',
+    '<THIRD_PARTY_MODULES>',
+    '',
+    '^(?!.*[.](jpe?g|css)$)(@astrojs/)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(.*)(@astrojs/)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(astro/)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(.*)(astro/)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(astro:)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(.*)(astro:)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(astro)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(.*)(astro)(.+)$',
+    '^(?!.*[.](jpe?g|css)$)(svelte/)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(.*)(svelte/)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(svelte)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(svelte)(.+)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)(@\\w)(.*)$',
+    '^(?!.*[.](jpe?g|css)$)(\\w)(.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[=/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[#/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[$/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[%/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[&/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[+/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[;/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[@/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[^/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[~/](.*)$',
+    '',
+    '^(?!.*[.](jpe?g|css)$)[./]',
+    '',
+    '^(.*)[.jpe?g](.*)$',
+    '',
+    '^(.*)[.css](.*)$'
+  ]
+}
diff --git a/src/config/imports-policy.mjs b/src/config/imports-policy.mjs
new file mode 100644
index 0000000..34d5f2b
--- /dev/null
+++ b/src/config/imports-policy.mjs
@@ -0,0 +1,38 @@
+/** Type {import('eslint').Linter.Config} */
+export default [
+  {
+    files: ['src/core/domain/**/*'],
+    rules: {
+      'no-restricted-imports': [
+        'error',
+        {
+          patterns: ['^(?!.*(schema-dts|\\$\\/|\\^\\/)).*$']
+        }
+      ]
+    }
+  },
+  {
+    files: ['src/core/app/**/*'],
+    rules: {
+      'no-restricted-imports': [
+        'error',
+        {
+          patterns: ['^(?!.*(schema-dts|\\$\\/|\\@\\/|\\^\\/)).*$']
+        }
+      ]
+    }
+  },
+  {
+    files: ['src/adapters/infrastructure/**/*'],
+    rules: {
+      'no-restricted-imports': [
+        'error',
+        {
+          patterns: ['^(?!.*(lowdb|\\$\\/utils|\\^\\/ports)).*$']
+        }
+      ]
+    }
+  }
+]
+
+// @todo Finish this. Forbid outward dependencies.
diff --git a/src/core/app/features.ts b/src/core/app/features.ts
new file mode 100644
index 0000000..59324d2
--- /dev/null
+++ b/src/core/app/features.ts
@@ -0,0 +1,5 @@
+/**
+ * Use cases or "interactors" that are used to implement business logic.
+ *
+ * @module features
+ */
diff --git a/src/core/app/ports.ts b/src/core/app/ports.ts
new file mode 100644
index 0000000..95cc51e
--- /dev/null
+++ b/src/core/app/ports.ts
@@ -0,0 +1,5 @@
+/**
+ * Interfaces for application ports.
+ *
+ * @module ports
+ */
diff --git a/src/core/domain/constants.ts b/src/core/domain/constants.ts
new file mode 100644
index 0000000..c728743
--- /dev/null
+++ b/src/core/domain/constants.ts
@@ -0,0 +1,5 @@
+/**
+ * Core domain concepts and definitions.
+ *
+ * @module constants
+ */
diff --git a/src/domain/entities.ts b/src/core/domain/entities.ts
similarity index 87%
rename from src/domain/entities.ts
rename to src/core/domain/entities.ts
index a4841b6..3f6109d 100644
--- a/src/domain/entities.ts
+++ b/src/core/domain/entities.ts
@@ -1,3 +1,9 @@
+/**
+ * Core domain entities, aka what is the application about.
+ *
+ * @module entities
+ */
+
 import type { PostalAddress as _PostalAddress } from 'schema-dts'
 
 export type {
diff --git a/src/core/domain/ports.ts b/src/core/domain/ports.ts
new file mode 100644
index 0000000..a90426e
--- /dev/null
+++ b/src/core/domain/ports.ts
@@ -0,0 +1,5 @@
+/**
+ * Interfaces for repository and other domain ports.
+ *
+ * @module ports
+ */
diff --git a/src/env.d.ts b/src/env.d.ts
index e16c13c..f964fe0 100644
--- a/src/env.d.ts
+++ b/src/env.d.ts
@@ -1 +1 @@
-/// <reference path="../.astro/types.d.ts" />
+/// <reference types="astro/client" />
diff --git a/src/pages/index.astro b/src/pages/index.astro
index 1f04ec8..8998d19 100644
--- a/src/pages/index.astro
+++ b/src/pages/index.astro
@@ -1,9 +1,9 @@
 ---
-import Bio from '^/components/Bio.astro'
-import Curriculum from '^/components/Curriculum.svelte'
-import Home from '^/screens/Home.astro'
+import Bio from ';/blocks/Bio.astro'
+import Curriculum from ';/prouns/Curriculum.svelte'
+import Home from ';/screens/Home.astro'
 
-import imgRoberto from ';/images/roberto.jpg'
+import imgRoberto from ';/assets/images/roberto.jpg'
 
 const bio = {
   title: 'Biographie de Roberto Quiroga Valdovinos',
diff --git a/src/types.ts b/src/types.ts
deleted file mode 100644
index 68bf3f8..0000000
--- a/src/types.ts
+++ /dev/null
@@ -1,12 +0,0 @@
-export type { Result, Failure, Success } from '$/utils/adt/result'
-export type { Just, Maybe, Nothing } from '$/utils/adt/maybe'
-export type { Compose } from '$/utils/composition/compose'
-export type { Reduce } from '$/utils/typeclass/foldable'
-export type { Pipe } from '$/utils/composition/pipe'
-export type { Refinement } from '$/utils/refinement/refinement'
-export type { Match } from '$/utils/control-flow/match'
-export type { MetaGeoProps } from '^/components/Meta/MetaGeo.svelte'
-export type { NavProps, NavItemProps } from '^/components/Nav.svelte'
-export type { IsString } from '$/utils/types/string'
-export type { IsNumber } from '$/utils/types/number'
-export type { Map } from '$/utils/typeclass/functor'
diff --git a/test/unit/app/utils/adt/maybe.test.ts b/test/unit/common/utils/adt/maybe.test.ts
similarity index 90%
rename from test/unit/app/utils/adt/maybe.test.ts
rename to test/unit/common/utils/adt/maybe.test.ts
index c454dd7..69d871f 100644
--- a/test/unit/app/utils/adt/maybe.test.ts
+++ b/test/unit/common/utils/adt/maybe.test.ts
@@ -1,10 +1,16 @@
-import type { Maybe } from '~/types'
-import type { Matcher } from '$/utils/adt/maybe'
+import type { Guard, Maybe } from '$/types.ts'
 
 import { describe, expect, expectTypeOf, test } from 'vitest'
 
-import { isJust, isNothing, just, map, match, nothing } from '$/utils/adt/maybe'
-import { compose } from '$/utils/composition/compose'
+import {
+  isJust,
+  isNothing,
+  just,
+  map,
+  match,
+  nothing
+} from '$/utils/adt/maybe.ts'
+import { compose } from '$/utils/fun/compose.ts'
 
 describe('Maybe', () => {
   test('When wrapping a value', () => {
@@ -33,7 +39,7 @@ describe('isJust/1', () => {
 })
 
 describe('match/2', () => {
-  const matchString: Matcher<number, string> = match(
+  const matchString: Guard<number, string, string> = match(
     () => 1,
     (a) => a
   )
diff --git a/test/unit/app/utils/adt/result.test.ts b/test/unit/common/utils/adt/result.test.ts
similarity index 89%
rename from test/unit/app/utils/adt/result.test.ts
rename to test/unit/common/utils/adt/result.test.ts
index bcf16f6..5745b1f 100644
--- a/test/unit/app/utils/adt/result.test.ts
+++ b/test/unit/common/utils/adt/result.test.ts
@@ -1,9 +1,8 @@
-import type { Result } from '~/types'
-import type { Matcher } from '$/utils/adt/result'
+import type { Guard, Result } from '$/types.ts'
 
 import { describe, expect, test } from 'vitest'
 
-import { failed, failure, match, succeed, success } from '$/utils/adt/result'
+import { failed, failure, match, succeed, success } from '$/utils/adt/result.ts'
 
 describe('Either', () => {
   const error = 'Cannot divide by zero'
@@ -38,7 +37,7 @@ describe('succeed/1', () => {
 })
 
 describe('match/2', () => {
-  const matchNumber: Matcher<string | number> = match(
+  const matchNumber: Guard<string, number, string> = match(
     (e) => `${e}`,
     (a) => `${a}`
   )
diff --git a/test/unit/app/utils/composition/compose.test.ts b/test/unit/common/utils/fun/compose.test.ts
similarity index 92%
rename from test/unit/app/utils/composition/compose.test.ts
rename to test/unit/common/utils/fun/compose.test.ts
index 0aab41f..94c94ec 100644
--- a/test/unit/app/utils/composition/compose.test.ts
+++ b/test/unit/common/utils/fun/compose.test.ts
@@ -1,6 +1,6 @@
 import { describe, expect, test } from 'vitest'
 
-import { compose } from '$/utils/composition/compose'
+import { compose } from '$/utils/fun/compose'
 
 describe('compose/1', () => {
   type Fn<A> = (a: A) => A
diff --git a/test/unit/app/utils/composition/pipe.test.ts b/test/unit/common/utils/fun/pipe.test.ts
similarity index 92%
rename from test/unit/app/utils/composition/pipe.test.ts
rename to test/unit/common/utils/fun/pipe.test.ts
index c87d384..ceae570 100644
--- a/test/unit/app/utils/composition/pipe.test.ts
+++ b/test/unit/common/utils/fun/pipe.test.ts
@@ -1,6 +1,6 @@
 import { describe, expect, test } from 'vitest'
 
-import { pipe } from '$/utils/composition/pipe'
+import { pipe } from '$/utils/fun/pipe'
 
 describe('pipe/2', () => {
   type Fn<A> = (a: A) => A
diff --git a/test/unit/common/utils/pat/.gitkeep b/test/unit/common/utils/pat/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/test/unit/app/utils/types/number.test.ts b/test/unit/common/utils/type/number.test.ts
similarity index 91%
rename from test/unit/app/utils/types/number.test.ts
rename to test/unit/common/utils/type/number.test.ts
index 5127552..d5c1707 100644
--- a/test/unit/app/utils/types/number.test.ts
+++ b/test/unit/common/utils/type/number.test.ts
@@ -1,9 +1,9 @@
-import type { Maybe } from '~/types'
+import type { Maybe } from '$/types'
 
 import { describe, expect, test } from 'vitest'
 
 import { nothing } from '$/utils/adt/maybe'
-import { isNumber } from '$/utils/types/number'
+import { isNumber } from '$/utils/type/number'
 
 describe('isNumber/1', () => {
   describe('Given a value', () => {
diff --git a/test/unit/app/utils/types/string.test.ts b/test/unit/common/utils/type/string.test.ts
similarity index 91%
rename from test/unit/app/utils/types/string.test.ts
rename to test/unit/common/utils/type/string.test.ts
index 28db289..cb16cef 100644
--- a/test/unit/app/utils/types/string.test.ts
+++ b/test/unit/common/utils/type/string.test.ts
@@ -1,9 +1,9 @@
-import type { Maybe } from '~/types'
+import type { Maybe } from '$/types'
 
 import { describe, expect, test } from 'vitest'
 
 import { nothing } from '$/utils/adt/maybe'
-import { isString } from '$/utils/types/string'
+import { isString } from '$/utils/type/string'
 
 describe('isString/1', () => {
   describe('Given a value', () => {
diff --git a/test/unit/app/utils/typeclass/foldable.test.ts b/test/unit/common/utils/typeclass/foldable.test.ts
similarity index 100%
rename from test/unit/app/utils/typeclass/foldable.test.ts
rename to test/unit/common/utils/typeclass/foldable.test.ts
diff --git a/tsconfig.json b/tsconfig.json
index 091b7dc..c9130d0 100644
--- a/tsconfig.json
+++ b/tsconfig.json
@@ -1,8 +1,9 @@
 {
   "compilerOptions": {
     "allowJs": true,
+    "allowImportingTsExtensions": true,
     "allowSyntheticDefaultImports": true,
-    "baseUrl": "./",
+    "baseUrl": ".",
     "checkJs": true,
     "declaration": true,
     "emitDeclarationOnly": true,
@@ -12,14 +13,15 @@
     "module": "nodenext",
     "noEmit": true,
     "paths": {
-      ";/*": ["src/ui/assets/*"],
-      "#/*": ["*"],
-      "$/*": ["src/app/*"],
-      "%/*": ["src/content/*"],
-      "&/*": ["src/domain/*"],
-      "+/*": ["src/infra/*"],
-      "@/*": ["src/pages/*"],
-      "^/*": ["src/ui/*"],
+      "=/*": ["*"],
+      "#/*": ["src/config/*"],
+      "$/*": ["src/common/*"],
+      "%/*": ["src/pages/*"],
+      "&/*": ["src/adapters/infrastructure/*"],
+      "+/*": ["src/adapters/stores/*"],
+      ";/*": ["src/adapters/ui/*"],
+      "@/*": ["src/core/app/*"],
+      "^/*": ["src/core/domain/*"],
       "~/*": ["src/*"]
     },
     "resolveJsonModule": true,
diff --git a/yarn.lock b/yarn.lock
index f6b41c5..82cbb79 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -1518,6 +1518,8 @@ __metadata:
     eslint-plugin-tailwindcss: "npm:^3.17.4"
     fontaine: "npm:^0.5.0"
     husky: "npm:^9.1.4"
+    leasot: "npm:^14.4.0"
+    lowdb: "npm:^7.0.1"
     neostandard: "npm:^0.11.2"
     npm-run-all2: "npm:^6.2.2"
     postcss: "npm:^8.4.41"
@@ -3176,6 +3178,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"async@npm:^3.2.4":
+  version: 3.2.5
+  resolution: "async@npm:3.2.5"
+  checksum: 10c0/1408287b26c6db67d45cb346e34892cee555b8b59e6c68e6f8c3e495cad5ca13b4f218180e871f3c2ca30df4ab52693b66f2f6ff43644760cab0b2198bda79c1
+  languageName: node
+  linkType: hard
+
 "autoprefixer@npm:^10.4.15":
   version: 10.4.19
   resolution: "autoprefixer@npm:10.4.19"
@@ -3616,7 +3625,7 @@ __metadata:
   languageName: node
   linkType: hard
 
-"chalk@npm:^5.2.0, chalk@npm:^5.3.0":
+"chalk@npm:^5.0.0, chalk@npm:^5.0.1, chalk@npm:^5.2.0, chalk@npm:^5.3.0":
   version: 5.3.0
   resolution: "chalk@npm:5.3.0"
   checksum: 10c0/8297d436b2c0f95801103ff2ef67268d362021b8210daf8ddbe349695333eb3610a71122172ff3b0272f1ef2cf7cc2c41fdaa4715f52e49ffe04c56340feed09
@@ -3910,6 +3919,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"commander@npm:^9.4.0":
+  version: 9.5.0
+  resolution: "commander@npm:9.5.0"
+  checksum: 10c0/5f7784fbda2aaec39e89eb46f06a999e00224b3763dc65976e05929ec486e174fe9aac2655f03ba6a5e83875bd173be5283dc19309b7c65954701c02025b3c1d
+  languageName: node
+  linkType: hard
+
 "comment-parser@npm:^1.4.0":
   version: 1.4.1
   resolution: "comment-parser@npm:1.4.1"
@@ -4686,6 +4702,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"eol@npm:^0.9.1":
+  version: 0.9.1
+  resolution: "eol@npm:0.9.1"
+  checksum: 10c0/5a6654ca1961529429f4eab4473e6d9351969f25baa30de7232e862c6c5f9037fc0ff044a526fe9cdd6ae65bb1b0db7775bf1d4f342f485c10c34b1444bfb7ab
+  languageName: node
+  linkType: hard
+
 "err-code@npm:^2.0.2":
   version: 2.0.3
   resolution: "err-code@npm:2.0.3"
@@ -5794,6 +5817,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"get-stdin@npm:^9.0.0":
+  version: 9.0.0
+  resolution: "get-stdin@npm:9.0.0"
+  checksum: 10c0/7ef2edc0c81a0644ca9f051aad8a96ae9373d901485abafaabe59fd347a1c378689d8a3d8825fb3067415d1d09dfcaa43cb9b9516ecac6b74b3138b65a8ccc6b
+  languageName: node
+  linkType: hard
+
 "get-stream@npm:^5.1.0":
   version: 5.2.0
   resolution: "get-stream@npm:5.2.0"
@@ -5991,6 +6021,19 @@ __metadata:
   languageName: node
   linkType: hard
 
+"globby@npm:^13.1.2":
+  version: 13.2.2
+  resolution: "globby@npm:13.2.2"
+  dependencies:
+    dir-glob: "npm:^3.0.1"
+    fast-glob: "npm:^3.3.0"
+    ignore: "npm:^5.2.4"
+    merge2: "npm:^1.4.1"
+    slash: "npm:^4.0.0"
+  checksum: 10c0/a8d7cc7cbe5e1b2d0f81d467bbc5bc2eac35f74eaded3a6c85fc26d7acc8e6de22d396159db8a2fc340b8a342e74cac58de8f4aee74146d3d146921a76062664
+  languageName: node
+  linkType: hard
+
 "globjoin@npm:^0.1.4":
   version: 0.1.4
   resolution: "globjoin@npm:0.1.4"
@@ -6869,7 +6912,7 @@ __metadata:
   languageName: node
   linkType: hard
 
-"is-unicode-supported@npm:^1.3.0":
+"is-unicode-supported@npm:^1.1.0, is-unicode-supported@npm:^1.3.0":
   version: 1.3.0
   resolution: "is-unicode-supported@npm:1.3.0"
   checksum: 10c0/b8674ea95d869f6faabddc6a484767207058b91aea0250803cbf1221345cb0c56f466d4ecea375dc77f6633d248d33c47bd296fb8f4cdba0b4edba8917e83d8a
@@ -7092,6 +7135,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"json2xml@npm:^0.1.3":
+  version: 0.1.3
+  resolution: "json2xml@npm:0.1.3"
+  checksum: 10c0/3cf5eda49b3cf3955bac2e1b26a147becae1782b869a57f9035b5385cc294e3bf4e40c27a08a5b8b3c1af7900c33307ffec8c5250897c0ec9935a45db9268e48
+  languageName: node
+  linkType: hard
+
 "json5@npm:^2.2.3":
   version: 2.2.3
   resolution: "json5@npm:2.2.3"
@@ -7184,6 +7234,28 @@ __metadata:
   languageName: node
   linkType: hard
 
+"leasot@npm:^14.4.0":
+  version: 14.4.0
+  resolution: "leasot@npm:14.4.0"
+  dependencies:
+    async: "npm:^3.2.4"
+    chalk: "npm:^5.0.1"
+    commander: "npm:^9.4.0"
+    eol: "npm:^0.9.1"
+    get-stdin: "npm:^9.0.0"
+    globby: "npm:^13.1.2"
+    json2xml: "npm:^0.1.3"
+    lodash: "npm:^4.17.21"
+    log-symbols: "npm:^5.1.0"
+    strip-ansi: "npm:^7.0.1"
+    text-table: "npm:^0.2.0"
+  bin:
+    leasot: dist/cli/leasot.js
+    leasot-reporter: dist/cli/leasot-reporter.js
+  checksum: 10c0/022c46bb3db7ab4cda49b1786b9b7b06a22bffef939f224d55961e9acbaba20667082fd10d05b2ba226da4fdeeaec5462c4c251ecafefcb81358a006e08bc391
+  languageName: node
+  linkType: hard
+
 "legacy-swc-helpers@npm:@swc/helpers@=0.4.14":
   version: 0.4.14
   resolution: "@swc/helpers@npm:0.4.14"
@@ -7535,6 +7607,16 @@ __metadata:
   languageName: node
   linkType: hard
 
+"log-symbols@npm:^5.1.0":
+  version: 5.1.0
+  resolution: "log-symbols@npm:5.1.0"
+  dependencies:
+    chalk: "npm:^5.0.0"
+    is-unicode-supported: "npm:^1.1.0"
+  checksum: 10c0/c14f8567c6618a7f96209c4c4b9fb3b794187116904712f7b526e465a5c9535728aec983735a5bef919247d0e54b9b72b6680a7fb9fc72d76b945dac4865e669
+  languageName: node
+  linkType: hard
+
 "log-symbols@npm:^6.0.0":
   version: 6.0.0
   resolution: "log-symbols@npm:6.0.0"
@@ -7579,6 +7661,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"lowdb@npm:^7.0.1":
+  version: 7.0.1
+  resolution: "lowdb@npm:7.0.1"
+  dependencies:
+    steno: "npm:^4.0.2"
+  checksum: 10c0/d61f554d6a507419772b07c91982bb72a0d3976dddef83e1d58fb24ff9049398962ec2c1917b3a863aedb46559081e0cd208d032ff3c43b1d59f41be9f4f4022
+  languageName: node
+  linkType: hard
+
 "lower-case@npm:^2.0.2":
   version: 2.0.2
   resolution: "lower-case@npm:2.0.2"
@@ -10935,6 +11026,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"slash@npm:^4.0.0":
+  version: 4.0.0
+  resolution: "slash@npm:4.0.0"
+  checksum: 10c0/b522ca75d80d107fd30d29df0549a7b2537c83c4c4ecd12cd7d4ea6c8aaca2ab17ada002e7a1d78a9d736a0261509f26ea5b489082ee443a3a810586ef8eff18
+  languageName: node
+  linkType: hard
+
 "slice-ansi@npm:^4.0.0":
   version: 4.0.0
   resolution: "slice-ansi@npm:4.0.0"
@@ -11101,6 +11199,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"steno@npm:^4.0.2":
+  version: 4.0.2
+  resolution: "steno@npm:4.0.2"
+  checksum: 10c0/fda6bb192bb73ce9453586080aae3fc75506e1c10c9285df49849a016bb9378c6146610f27976708437a6c5492619ec09efb9def6d5397624ae0ad70e57ccaf1
+  languageName: node
+  linkType: hard
+
 "stream-replace-string@npm:^2.0.0":
   version: 2.0.0
   resolution: "stream-replace-string@npm:2.0.0"