Add list comprehensions to future module

I have the hope that it can still be improved. I would like to get rid of the "lc", and the type of the resulting seq should be inferable.