implementing fallback from Simple to Intelligent.
Refinement in Emacs ghc-mode
Merge remote-tracking branch 'kazu/master'