Add outline chapters

content/SUMMARY.md

@@ -1,11 +1,50 @@
 # Summary
 
-[Introduction](introduction.md)
+[Introduction](./introduction.md)
+
+# Core Concepts
+
+- [Context](./context.md)
+- [Consumer](./consumer.md)
+- [Provider](./provider.md)
 
 # Basic Patterns
 
 - [Auto Traits](./auto-traits.md)
+- [Impl-side Dependencies](./impl-side-dependencies.md)
+- [Provider Traits](./provider-traits.md)
+- [Delegation](./delegation.md)
+- [Auto Consumer Impl](./auto-consumer-impl.md)
+- [Component Macros](./component-macros.md)
+- [Check Traits](./check-traits.md)
+
+# Design Patterns
+
+- [Context-Generic Providers](./context-generic-providers.md)
+- [Associated Contexts](./associated-contexts.md)
+    - [Impl-side Generic Types](./impl-side-generic-types.md)
+    - [Associated Type Specialization](./associated-type-specialization.md)
+- [Async Generic](./async-generic.md)
+
+# Domain-Specific Patterns
+
+- [Error Handling](./error-handling.md)
+    - [Abstract Error Types](./abstract-error-types.md)
+    - [Error Raisers](./error-raisers.md)
+    - [Error Detail Types](./error-detail-types.md)
+    - [Error Handler Delegation](./error-handler-delegation.md)
+
+- [Logging and Telemetry](./logging-and-telemetry.md)
+    - [Abstract Logger](./abstract-logger.md)
+    - [Logging Entry Types](./logging-entry-types.md)
+    - [Logger Delegation](./logger-delegation.md)
 
-# Advanced Patterns
+# Related Work
 
-# Domain-Specific Patterns
+- [Object-Oriented Programming](./object-oriented-programming.md)
+- [Dependency Injection](./dependency-injection.md)
+- [Dynamic-Typed Programming](./dynamic-typed-programming.md)
+- [Functional Programming](./functional-programming.md)
+    - [Context-Generic Programming in Haskell](./cgp-in-haskell.md)
+- [Algebraic Effects](./algebraic-effects.md)
+- [ML Modules](./ml-modules.md)

content/abstract-error-types.md

@@ -0,0 +1 @@
+# Abstract Error Types

content/abstract-logger.md

@@ -0,0 +1 @@
+# Abstract Logger

content/algebraic-effects.md

@@ -0,0 +1 @@
+# Algebraic Effects

content/associated-contexts.md

@@ -0,0 +1 @@
+# Associated Contexts

content/associated-type-specialization.md

@@ -0,0 +1 @@
+# Associated Type Specialization

content/async-generic.md

@@ -0,0 +1 @@
+# Async Generic

content/auto-consumer-impl.md

@@ -0,0 +1 @@
+# Auto Consumer Impl

content/cgp-in-haskell.md

@@ -0,0 +1 @@
+# Context-Generic Programming in Haskell

content/check-traits.md

@@ -0,0 +1 @@
+# Check Traits

content/component-macros.md

@@ -0,0 +1 @@
+# Component Macros

content/consumer.md

@@ -0,0 +1,2 @@
+
+# Consumer

content/context-generic-providers.md

@@ -0,0 +1 @@
+# Context-Generic Providers

content/context.md

@@ -0,0 +1,2 @@
+
+# Context

content/delegation.md

@@ -0,0 +1 @@
+# Delegation

content/dependency-injection.md

@@ -0,0 +1 @@
+# Dependency Injection

content/dynamic-typed-programming.md

@@ -0,0 +1 @@
+# Dynamic-Typed Programming

content/error-detail-types.md

@@ -0,0 +1 @@
+# Error Detail Types

content/error-handler-delegation.md

@@ -0,0 +1 @@
+# Error Handler Delegation

content/error-handling.md

@@ -0,0 +1 @@
+# Error Handling

content/error-raisers.md

@@ -0,0 +1 @@
+# Error Raisers

content/functional-programming.md

@@ -0,0 +1 @@
+# Functional Programming

content/impl-side-dependencies.md

@@ -0,0 +1,2 @@
+
+# Impl-side Dependencies

content/impl-side-generic-types.md

@@ -0,0 +1 @@
+# Impl-Side Generic Types

content/logger-delegation.md

@@ -0,0 +1 @@
+# Logger Delegation

content/logging-entry-types.md

@@ -0,0 +1 @@
+# Logging Entry Types

content/ml-modules.md

@@ -0,0 +1 @@
+# ML Modules

content/object-oriented-programming.md

@@ -0,0 +1 @@
+# Object-Oriented Programming

content/provider-traits.md

@@ -0,0 +1,2 @@
+
+# Provider Traits

content/provider.md

@@ -0,0 +1,2 @@
+
+# Provider