hdevtools type-checking integration for emacs.