Defines id_name as a predicate annotation and as a namespace, where the namespace exports each id as the symbol #'id and as a binding form that matches the symbol #'id. The annotation is satisfied by each symbol #'id and by values satisfying any of the annots specified with ~is_a. The intersection of annots’ associated static information (and Symbol’s, if any id is present) are associated with the resulting annotation.