Add Koltin annotations chapter

.gitignore

@@ -1,3 +1,4 @@
 *.pdf
 .DS_Store
-.vscode/
+.vscode/
+TODO.md

chapters/4-Annotation-System.typ

@@ -760,24 +760,3 @@ Where _fresh_ is a variable that has not been declared before.
 *TODO: Add example for return*
 
 // TODO: Stack example + DERIVATION
-
-// --------
-
-// TODO: put this in a separate chapter
-
-// == Aliasing control in Kotlin
-
-// === Verify  contracts
-
-
-// // example of contracts usage
-
-// // example of improvement in verification of contracts
-
-// // quote something??
-
-// === Smart cast
-// === Function optimiztion (modify lists implace)
-// === Garbage collection in Kotlin native
-
-// == The system

chapters/5-Annotations-Kotlin.typ

@@ -0,0 +1,19 @@
+#pagebreak(to:"odd")
+= Annotations in Kotlin
+
+== Examples of Aliasing control in Kotlin
+
+// put examples that are currently in chapter 4
+
+== Improvents to the language
+
+=== Contracts verification
+
+
+// example of contracts usage
+
+// example of improvement in verification of contracts
+
+=== Smart cast
+=== Function optimiztion (modify lists implace)
+=== Garbage collection in Kotlin native

structure.typ

@@ -16,8 +16,9 @@
 #include "./chapters/2-Background.typ"
 #include "./chapters/3-Related-Work.typ"
 #include "./chapters/4-Annotation-System.typ"
-#include "./chapters/5-Encoding.typ"
-#include "./chapters/6-Conclusion.typ"
+#include "./chapters/5-Annotations-Kotlin.typ"
+#include "./chapters/6-Encoding.typ"
+#include "./chapters/7-Conclusion.typ"
 
 // Bibliography