Survey Question: flow research

[xigoi]

Better type inference would require the Hindley-Milner algorithm or similar, 
which is incompatible with Nim's type system.

As for macros, complexity is like energy — you can move it to different places, 
but the total amount stays constant.