Feature: unit tests to check superrep metadata preservation

As promised in #95, I added some new test cases to make sure that for all binary arithmetic operations and all superreps, the superrep metadata is preserved.