[Green] Added test for typing simple Diag

  - Corrected error in typing compile
  - Provided Arbitrary instance for Diag in Utility module
  - Derived instance for Show and Eq to Diag and Diag_
    (Just to make life easier)