Formatting derp.
Fixed headers, added Equal/Show instances and Equal laws.