DP-02: simple approach for maintaining queue size.

This commit introduces basic approach to maintain size of the
queue by keeping TVar Int in the state, then each writer will
increment this state, and deque will decrement it if and only
if it outputs value.