Remove dead code + coding style nitpicks
Add more requirements
Fix and refactor double_ended_queue