Now macros have types!