Add some TODOs

1 files changed, 4 insertions, 0 deletions

diff --git a/TODO.md b/TODO.md
index b8075bf4..acfebff6 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,9 @@
 # TODO
 
+0. merge the "read determinant" and the "switch" occurrences to "match"
+
+0. reaggregate the ADTs
+
 0. when going from symbolic to pure, remove the useless tuples (as some fields
    might be erased).