feat(report): add title and subtitle

meta.typ

@@ -1,5 +1,5 @@
-#let title = "Midas"
+#let title = "Midas: Hybrid Type Checking for Python"
-#let subtitle = none
+#let subtitle = "Strict static type checking and runtime assertions for data integrity"
 #let authors = "Louis Heredero"
 
 #let thesis-supervisor = "Prof. Dr Dimi Racordon"
@@ -12,11 +12,11 @@
 #let school = "Haute École d'Ingénierie de Sion"
 #let programme = "Informatique et systèmes de communication (ISC)"
 
-#let keywords = ("engineering", "type systems", "gradual typing")
+#let keywords = ("engineering", "type systems", "hybrid typing")
 #let major  = "Data engineering"
-#let date = datetime(year: 2026, month: 7, day: 10) // Date of the thesis & the declaration (or datetime.today())
+#let date = datetime(year: 2026, month: 7, day: 24) // Date of the thesis & the declaration (or datetime.today())
 
-#let permanent-email = "louis@heredero.org"
+#let permanent-email = "lordbaryhobal@gmail.com"
 #let video-url = none
 
 #let picture-web-opt-out = false // set to true to keep your picture off the web

report/chapters/03_theory.typ

@@ -17,7 +17,7 @@ The first step to build a useful type checker for Python is to identify the conc
 
 == Principles <sec:theory-principles>
 
-To talk about type theory and typing rules, we must first define some concepts. B. C. Pierce suggests one definition for type systems:
+To talk about type theory and typing rules, we must first define some concepts. Pierce suggests one definition for type systems:
 
 #quote(block: true)[
   A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.@tapl