Shared types

Types shared across multiple top-level sections.