Add `!=`, fix #42, hopefully not introduce anything with `!`