diff --git a/progress.txt b/progress.txt
index ebeb698..96d955d 100644
--- a/progress.txt
+++ b/progress.txt
@@ -10,11 +10,16 @@ done:
           - types
   - generic types and type unification (inferencing)
   - recursive types
+  - dynamic typing (value + type)
+  - projectional editor (hosted at https://deemz.org/public/dope2)
 
 todo:
-  - dynamically typed values: have 'Any' or 'Top' type?
-  
+  - simpler encoding of product/sum and struct/enum
 
+  - mutually recursive types
+
+  - turn AST type for lambda calculus expressions from projectional editor into explicit DOPE type
+  
   - to support sets of slots, need comparison of slots
       => comparison of values
         => problem: how to compare transformed values? their inputs can come from different types