update doc and dsl
todo list