Implicit Expression Modeling

Create a concept that models the behavior of standard library iterators.