Using overloaded operators and a node class with expression and literal subtypes. You overload operators for the expression class as well as the literal class where you either return the literal or further expand the expression