Implemented add, sub, mul, div expression rules and basic test coverage