[kavehz-nasa]

Fix the Haddock comments for two test properties in copilot-core:Test.Copilot.Core.Type, as prescribed in the solution proposed for #781.

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • The code proposed compiles and passes all tests. Details:
    Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/279009624
  • The solution proposed produces the expected result. Details:
    Evaluated by visual inspection of the changes, which now correctly document those two properties.
• Implementation is documented. Details:
  Change is to the documentation of two definitions.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  No updates needed; the change does not affect the existing examples.
• Author is internal or has provided signed CLA.
• Required version bumps are evaluated. Details:
  Bump not needed; the change does not affect the public API.