update todo
add binary expression
more parser implementation
add more types