a few more connectives in encoding; deal with =/!= type argument