> a lot of the problems with macros can be seen as type problems

If it had a type, it would be something like code->code. You seem to hold one of those "not even wrong" kind of notions about types and/or macros.