Improve DEX spec.

[dzmitryhil]

Description

Improve DEX spec.

Reviewers checklist:

• Try to write more meaningful comments with clear actions to be taken.
• Nit-picking should be unblocking. Focus on core issues.

Authors checklist

• Provide a concise and meaningful description
• Review the code yourself first, before making the PR.
• Annotate your PR in places that require explanation.
• Think and try to split the PR to smaller PR if it is big.

---

This change is 

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 60.48%. Comparing base (08fa763) to head (c7a01b7).
Report is 1 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1053      +/-   ##
==========================================
- Coverage   62.44%   60.48%   -1.96%     
==========================================
  Files         160      160              
  Lines       18587    18587              
==========================================
- Hits        11607    11243     -364     
- Misses       5861     6240     +379     
+ Partials     1119     1104      -15     

Flag	Coverage Δ
coreum	57.09% <ø> (ø)
coreum-integration-tests-modules	46.38% <ø> (-6.18%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[miladz68]

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @masihyeganeh and @ysv)

[masihyeganeh]

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ysv)