On last two days studied OpenCascade shape topology especially because the mirrored shapes had some "inside out" look.
Made a change at the TopoDsShapeInterpreter that affects the way that all shapes generated on scene are built. It seems to work well. On the interpreter we're now using BRepBuilderAPI_Transform to apply transformations on all generated shapes.
Fixed also the mirror point/line/plane tools. Visually the shapes look ok.
We don't fully understand yet how OpenCascade generates shapes in cases like mirroring (with a reversed local coordinate system and a transformation on them), in time this area will be improved.