First step with a trait to static_assert that the used type is valid for SequenceMatching.