fixed indexing of W-type in induction
fixed indexing in basics
fixed indexing in setmath