Type corrections for iota and map/set/seq comprehensions