What are your concerns about a future type system for Elixir?

[djaouen]

I worry about how types will interact with macros. Will there be a special “code” type needed when defining macros?