CCFQueue is now a functional double-ended queue