Generate Haskell type aliases for C typedefs

[edsko]

In the high level bindings we probably want to have different defaults/heuristics for typedef'd types (that is, if T is an alias for T', we might want to treat T and T' differently). Not entirely sure if we want to do that in the low level bindings also.