* A generic type system to register arbitrary single-inherited flat and deep derived types as well as interfaces for structured types. It takes care of creation, initialization and memory management of the assorted object and class structures, maintains parent/child relationships and deals with dynamic implementations of such types. That is, their type specific implementations are relocatable/unloadable during runtime.

* A collection of fundamental type implementations, such as integers, doubles, enums and structured types, to name a few.

* A sample fundamental type implementation to base object hierarchies upon - the GObject fundamental type.

* A signal system that allows very flexible user customization of virtual/overridable object methods and can serve as a powerful notification mechanism.

* An extensible parameter/value system, supporting all the provided fundamental types that can be used to generically handle object properties or otherwise parameterized types.