Ease converting vector equalities to equalities

@Toxaris, *this* is the pull request with naming scheem help needed I mentioned yesterday (i.e. on Wednesday).