Got all the laws checked, but clearly some tests are missing as I have
missing implementations.
Cleaned out commented out code in OrInstances.