Foundational, generic types usable by all other packages.