Library with advanced types for identifiers.