unsigned <macro-defined type> not handled correctly

[edsko]

When macro-defined types such as

#define foo int

are surrounded by qualifiers, such as

void foo(unsigned foo x);

we currently ignore those qualifiers.

If we really did want to support this, we'd have to think about how this would translate to Haskell, since unsigned is not a qualifier in Haskell; we'd need some type-level mapping from the int newtype (or type aliases) to some kind of unsigned version.