Nonholonomic systems with non-linear constraint equations