new targets in TODO-list

1 files changed, 5 insertions, 2 deletions

diff --git a/TODO.rst b/TODO.rst
index 4650ec7..d853b36 100644
--- a/TODO.rst
+++ b/TODO.rst
@@ -1,2 +1,5 @@
-- Better inherit relationship between Cons and EvalObj
-- Replace many `dynamic_cast` with `static_cast`
+- More sophisticated type system
+  - Number system && proper arithmetic
+  - Cons support
+- Quotation
+- Add macro support