Phase -> Pass (match GHC terms, avoid confusion with simplifier phases)