Support for merlin-mode

http://kiwi.iuwt.fr/~asmanur/blog/merlin/
Typing support for spec-level and.

No support for it at the reasoning level currently.