Koka-inspired local mutable variables for cleaner comprehensions

Very interesting idea you have there… This always reminds me of the usage of ^ within Ecto queries. The problem I have with syntax changes is when we have different meanings for different contexts, so would be nice if we could create a consistent meaning for the usage of this operator (and it seems we already assign this meaning to it like you suggested, see here.