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