Add tests for equiv notation

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:test-equiv into master

Extracted from iris!409 (merged).

Merge request reports