Refactoring and implementing
Implement default syntax
Enable to parse BinaryExpression
Implementing TypeChecker