Remove unused variables
Merge type declaration attributes into type definitions

As a nice side-effect, this fixes the annoying duplication
of GCompTag nodes in CIL internal representation.

Closes #137.