Adding new algorithms.

Added adjacent_find, mismatch algorithms and associated
concepts.

Fixed a bug in the cross-type relation concept.