       .subscribe successHandler, @displayErrors
 
   getTypeForWord: ({target}) =>
+    target.model.save()
     word = @getWordUnderCursor target
 
     successHandler = ({responseType, msg}) =>


  doAddClause: ({target}) =>
    editor = target.model
    uri = editor.getURI()
    line = editor.getLastCursor().getBufferRow()
    word = @getWordUnderCursor target


  doProofSearch: ({target}) =>
    editor = target.model
    editor.save()
    uri = editor.getURI()
    line = editor.getLastCursor().getBufferRow()
    word = @getWordUnderCursor target
