[Feature] Integrate constraints and properties into the specs and diagrams

[shahankhatch]

Feature Description

Currently, the sequence diagrams are solely responsible for approximately showing process, and the order of ops and events. However, as the process is refined, more details are becoming necessary to spec out, e.g.:

• time elapsed
• constraints, min, max
• parameters

This issue should aim to provide this information clearly and with an easy-to-manage approach.

[shahankhatch]

For instance, see this comment.

[shahankhatch]

Also, see this comment about funds transfer approaches.