Always honor density bounds; allow adding first elements
Implement cob_previous_key