Merge pull request #320 from serras/master

Do not use dropdown-list + change keybindings + improve checking with typed holes
Merge pull request #321 from serras/master

Obtain all warnings even in presence of typed holes
Merge pull request #323 from serras/master

Show error messages without qualification
Remove `toGhcModT` it's not needed anymore.
Merge pull request #324 from DanielG/dev-conv

Remove `toGhcModT` it's not needed anymore.