added some experimental matchers ; initial topos product tests