Updates to iterator concepts.
More work on concept specification.

- Move constraints out of template parameters.
- Remove axioms.
Merge pull request #54 from asutton/master

Updates to concept wording