TreiberStack refactoring (issues #1, #2, #3 done)