Unified constrained dynamics