New Second-Order Achievability Bounds for Coding with Side Information via Type Deviation Convergence