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

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