Implement SymbolicToPure.typed_avalue_to_given_back

1 files changed, 4 insertions, 0 deletions

diff --git a/TODO.md b/TODO.md
index 71d28517..a70e4546 100644
--- a/TODO.md
+++ b/TODO.md
@@ -4,6 +4,10 @@
 
 0. update the end borrows internal to abstractions to not introduce a Bottom
 
+0. remove AConcrete from avalue
+
+0. remove ABottom from avalue
+
 1. reorder the branches of matches
 
 1. stateful maps/sets modules (hashtbl?)