python ADT stack implemented with list