Data Abstraction Revisited
We have just written an expression evaluator that uses the ra-stack
constructor and selectors (shown in red below)
without knowing how ra-stacks are represented.
This is the essence of data abstraction.
We can now move on to how ra-stacks are represented.