Tagged hyperconvergence