The theory of mechanical systems with nonholonomic constraints has a long history in classical mechanics; see e.g. the books by Neimark & Fufaev [14], Edelen [6], Rosenberg [16], Arnold [l] and the references quoted in there. In this literature, nonholonomic mechanical systems are described within the variational framework by Euler-Lagrange equations with extra terms corresponding to the constr...