integrate deedpoll to standardize common identifiers

We should also settle on either `i` or `idx` for loop variables. (My vote is for the latter.)

I prefer arity to length here