fixbug: forget dump proto parameter list
 add type check
it split SyntaxValidator into two phrase
 remove parse options
 add unary and binary operator type check(TODO, notcompleted)