Fix a typo in the induction principle for Vectors

f(succ(n), cons(a,l)) should equal c(n,a,l,f(n,l)), where f on the right hand side takes two parameters, not one.