Contractive model predictive control for constrained nonlinear systems | Synapse