Core types and utilities