An okasaki style real-time queue lifted into a catenable steque