Move len(), is_empty(), and stats() to separate trait#754