concurrent pop non-linearizable
queue reimplemented using michael-scott algo
queue is public
queue test enlarged
queue/pop! missing recur->
model tests updated for queue