[#259] Unsort Haskell constructors

[sras]

Description

Problem: We have some comment that cautions agaist changing the ordering of constructors of the Haskell contract parameter. But this is outdated as the issue causing it have been fixed.

Solution: Change the sort order of constructors and check that tests pass. Remove the respective comments and TODO.

Related issue(s)

Resolves #259

:white_check_mark: Checklist for your Pull Request

Related changes (conditional)

• Tests

  • [x] If I added new functionality, I added tests covering it.
  • [x] If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.

• Documentation

  • [x] I checked whether I should update the docs and did so if necessary:
  • README
  • Haddock

Stylistic guide (mandatory)

• [x] My commits comply with the following policy.
• [x] My code complies with the style guide.