% our queue is just [] and empty? is already defined.
/push {exch tadd}.
/pop {uncons exch}.