Module Desugar.Comprehensions

Inliner of list comprehensions. This translates comprehensions into for loops. While this is not the best in terms of precision, due to the widenings we may have to do afterwards, it's a generic, rewriting-based approach that may be helpful