Nonholonomic and Discrete Hamilton-Jacobi Theory.