Like TGJKShape, but treats the shape as if it has a reduced "core" shape with a margin suitable for collision detection where significant overlaps are likely. This means spheres will be points, convexes will be rounded shrunken hulls, etc.