diff --git a/README.md b/README.md
index 087251c..0fe16ba 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 Specification and discussions about language design.
 
-A toy implementation is in `toy-impl`, requires python 3.9.
+A toy implementation is in [`toy-impl`](./toy-impl), requires python 3.9.
 
 
 ## Referencing Python Variables
diff --git a/toy-impl/README.md b/toy-impl/README.md
index 6cb198a..37b4976 100644
--- a/toy-impl/README.md
+++ b/toy-impl/README.md
@@ -6,16 +6,21 @@ details etc.
 These features are considered in the proposal, but would not be implemented here
 for simplicity reasons:
 * Referencing Python Variables.
-* range type.
+* Most of the types, only the following types are implemented:
+    * `int32`
+    * `int64`
+    * `bool`
+    * `list[T]`
+    * `tuple[T1,...]`
+    * `virtual[T]`
 * Storing large constants as `uint32`, `int64` or `uint64`.
 * AugAssign, `a += b` etc.
 * `with`, `try except`, etc.
+* const indexing with tuple.
+* method override check modulo variable renaming.
 
 These features are currently not implemented, and would be added in due course:
 * Whole script check.
 * Type guards.
-* Primitive type methods and operations.
-* Method override check.
-* Better error messages.