Update execute.cc

Implemented push and pop logic. Have not tested though. Also left comments throughout code if I was uncertain about anything.