Show types in completion
minor
Show message on ghc-modi stop
Merge remote-tracking branch 'origin/master'