//! Sigma types
/// AVL tree methods
/// Box object type companion
/// Collection object type companion
/// Function signature type
/// Global methods
/// GroupElement methods
/// Header's methods
/// Object method(property) signature type
/// Option object type companion
/// PreHeader's methods
/// Tuple type
/// Type companion for an object
/// Type parameters for generic signatures
/// Types unification