Macro that analyzes type of passed expressions