Syntax highlighting and typechecker integration for Hack.