diff --git a/README.org b/README.org
index e919530..50fd752 100644
--- a/README.org
+++ b/README.org
@@ -58,7 +58,7 @@ Available debug flags include:
 
 * To-do List
 
-** TODO rlp to core desugaring                                         :feature:
+** TODO [#A] rlp to core desugaring                                    :feature:
 
 ** DONE [#A] HM memoisation prevents shadowing                             :bug:
    CLOSED: [2024-04-04 Thu 12:29]
@@ -99,9 +99,9 @@ For the time being, I just disabled the memoisation. This is very, very bad.
 ** DONE README.md -> README.org                                           :docs:
    CLOSED: [2024-03-28 Thu 10:44]
 
-** TODO ~case~ inference                                               :feature:
+** TODO [#A] ~case~ inference                                          :feature:
 
-** TODO ADT support in Rlp/HindleyMilner.hs                            :feature:
+** TODO [#A] ADT support in Rlp/HindleyMilner.hs                       :feature:
 
 ** DONE whole-program inference (wrap top-level in a ~letrec~)         :feature:
    CLOSED: [2024-04-04 Thu 12:42]
@@ -114,13 +114,13 @@ For the time being, I just disabled the memoisation. This is very, very bad.
 
 ** TODO user-supplied annotation support in Rlp/HindleyMilner.hs       :feature:
 
-** TODO update architecture diagram                                       :docs:
+** TODO [#A] update architecture diagram                                  :docs:
 
 ** TODO pattern support; everywhere [0%]                                :feature:
    - [ ] in the type-checker
    - [ ] in the desugarer
 
-** TODO G-machine visualiser                                              :docs:
+** TODO [#A] G-machine visualiser                                         :docs:
 
 ** TODO [#C] lambda calculus visualiser                                   :docs:
 
@@ -177,6 +177,7 @@ For the time being, I just disabled the memoisation. This is very, very bad.
 
 ** Final Release Plan
    SCHEDULED: <2024-04-19 Fri>
+*** TODO Complete all A-priority checks in the main todo-list!!
 *** TODO Tests
     - [ ] rl' parser
     - [ ] Type inference
@@ -184,8 +185,9 @@ For the time being, I just disabled the memoisation. This is very, very bad.
     - [ ] quicksort
     - [ ] factorial
     - [ ] your typical FP operations -- mapping, folding, etc.
-*** DONE Ditch TTG in favour of a simpler AST focusing on extendability via Fix, Free, 
-  Cofree, etc. rather than boilerplate-heavy type families
+*** DONE Ditch TTG in favour of fixed-points of functors
+    Focus on extendability via Fix, Free, Cofree, etc. rather than
+    boilerplate-heavy type families
 *** DONE rl' type inference
 *** DONE Core type checking