Mal'cev-type theorems for partial congruences