Making semantic highlighting test pass:
- bring configuration into Emacs-native form during testing
- change order of commands sent to server (otherwise, the server
  shuts itself down): full type-check, then highlighting