Idiomatic assertions of basic equality rules

Implements #125 - Pull request opened now to allow discussion.