Implement Size feature
Implement Empty feature
Implement Contains<Element> feature
Implement Count<Element> feature
Merge pull request #2 from McMartin/StateFeatures

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