State features

Implement `Size`, `Empty`, `Contains<Element>` and `Count<Element>` features