fixed some bugs in push and pop, improved interpreter