implementation of Stack ADTs