Oh, we shouldn't. I was planning to make a different pull request that removes `||` and `unary_~` etc., as well as `&&`, but then I realized I needed `&&` to disappear right now to be able to add `<` et al. without breaking code -_-'. I will make all the changes in one commit.