This is a patch to install a `improved' type system for passing around
argument lists.  It is mainly intended to spell out the different
semantics of the types in greater detail so that bindings to
high-level languages can work with them in a more robust way.

Documentation is not yet included in the patch.  Please get the
guile-gtk bindings to find out more, or ask me directly.

This is still not my last word on this issue, but I think it is time
to see if the general direction is acceptable to the Gtk folks.

Contact: Marius Vollmer <mvo@zagadka.ping.de>