Added checkable iterator concepts.

Should eventually be used to enhance container concepts, which could
then be used to provide additional/improved default concept
implementations for monad, foldable, etc.