change DOFs to functions, use the new power to simplify calculation of v and a. Introduce t as a global variable as a first step toward nonholonomic systems.