add fun
add data ABinOp
support true and false
support list literal