Adds types for enriched atom sets.