Dynamic Meta-theorems for Distance and Matching