Use unified rewrite technology.
Implement Tuple.
Better way to implement suffix-expr and prefix-expr.
Implement lambda.
Implement most of c++ operators.
Fully support c++ operators.
support new expr.
Continue implement operators.