This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on a uniform syntactic and semantic interface for all data types, many implementation variants per data type, all accessible through a single interface and a hierarchical system of the data types as a basis for data type selection and implementation.