Hack's typechecker inside Sublime Text