Id'd stick current `unaSemantic` and `binSemantic`, because they are explicit.