Nonsmooth Lagrangian Mechanics and Variational Collision Integrators | Synapse