Fix depends check in genType
Fix depends check in genType

When entering such binding constructs as sum(...,i=0..i),
we need to gensym(i) just because the bounds contain i free.

zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru