Axioms for RA-Stacks

• Pushing an item onto a stack should result in the item being on the top:

       (top-minus (push! ra-stack item) 0) = item