refactored topos fixture mechanisms to enable moving wrapping equality semantics tests to a sensible place