Introduce: Bytecomp/abstract_identifiers.