Simplified macro ast node
Expand array ltierals during type inference (so macros can receive them)
Expand hash literals during type inference (so macros can receive them)