Geodesic extensions of mechanical systems with nonholonomic constraints | Synapse