Added AdditiveGroup constraints.

  And removed some trailing whitespace.
Updated Boolean instance.
Added Ord and Eq function instances.

   Which weren't being imported from NumInstances.