Introduced MonadPlus for RefactGhc, and Strafunski StrategyLib
modified for Ghc holes.