code: def type_check_cmd(self, args, range=None):
          
          self.log.debug('type_check_cmd: in')
          self.start_typechecking()
          self.type_check("")
          self.editor.message('typechecking')
docs: Sets the flag to begin buffering typecheck notes & clears any
          stale notes before requesting a typecheck from the server