Moved definitions common to HIR and MIR.