Finished initial typechecking support for GTK.