DotExpression, first tests; Refactor BinaryArithmeticOperation