Add a new optional parameter for type-safe TraversableContains assertions.


It keeps backwards compatibility with existing behavior.