Add "ARC" types to enrich-type module