small fixes in the props of Deque
do_regularize is defined.

Some [admit] were necessary.