Show more relevant bindings in typed holes
Initial work on refining variable
Merge remote-tracking branch 'kazu/master'

Conflicts:
	Language/Haskell/GhcMod.hs
	Language/Haskell/GhcMod/Check.hs
	Language/Haskell/GhcMod/FillSig.hs
	Language/Haskell/GhcMod/GHCApi.hs
	Language/Haskell/GhcMod/Ghc.hs
	src/GHCMod.hs
Include 'refine' again
Merge remote-tracking branch 'kazu/master'
Continue work on refinement
Merge remote-tracking branch 'kazu/master'

Conflicts:
	Language/Haskell/GhcMod/Check.hs
	Language/Haskell/GhcMod/FillSig.hs
	Language/Haskell/GhcMod/GHCApi.hs
Merge remote-tracking branch 'kazu/master'
First steps in refinement
Refinement in Emacs ghc-mode
Merge remote-tracking branch 'kazu/master'
Complete parenthesis on refinement
Add docs to elisp code
Work on initial signature for type families
Start case splitting on type families (NOT working)
Merge remote-tracking branch 'kazu/master'
cleaning up conditions.
Merge remote-tracking branch 'kazu/master'
Another try at case split for type families
Add new fringe for typed holes