chore: reorganize concepts links, change book title

Author: tgrospic

src/SUMMARY.md

@@ -5,9 +5,9 @@
 # Concepts
 
 - [Free Monad](concepts/free_monad.md)
-- [Dependent types](concepts/dependent_types.md)
 - [Continuation-Passing Style](concepts/cps.md)
 - [Defunctionalization](concepts/defunctionalization.md)
+- [Dependent types](concepts/dependent_types.md)
 
 # Insights
 

src/index.md

@@ -2,7 +2,7 @@
 This book is in an early stage.
 ```
 
-# <img src="assets/alux-logo.png" style="margin-right: 10px; border-radius: 50%; background: white;"> ALUX Programming
+# <img src="assets/alux-logo.png" style="margin-right: 10px; border-radius: 50%; background: white;"> ALUX Programming Guidelines
 
 ```admonish note
 This book is a guide to writing programs by defining their meaning first and their mechanics second.