Improve analysis of macro execution order

[osyrisrblx]

Right now, we put every macro input into it's own temporary variable in the order they're passed into the function call. This is good for ensuring execution order, but looks terrible! I think we can do better.

Macros could describe the order they use inputs (or if they use an input multiple times?). Needs design.