Macro define_short_id 

macro_rules! define_short_id {
    ($short_id:ident, $long_id:path) => { ... };
}

TODO(eytan-starkware): Remove this macro entirely and rely on salsa::interned.