Fixed type annotation
Added examples for Element Iterator and Countable
Merge remote-tracking branch 'origin/master'