implemented ExpressionType interface. TODO : Expression visitor type checker