This MR implements a simple, no-nonsense instance of Num for (). Following how Eq and Ord are implemented, it is present next to the typeclass definition.
Moreover, extraneous spaces in some other instance Num places have been removed. No feature changes.
Tests have been implemented.