///|
/// Identifier for an e-class.
pub type Id = Int