The many type casts were causing a real mess. The new approach seems to have the same level of error proneness, while the compiler finally reports warnings about wrong types.
It extends GtkHeaderBar, adding Astrognome specific buttons.