Add type inference for list comprehensions