[TM-289] Field annotations to param

Description

Problem: printed contracts do not have field annotations in a parameter which would designate entrypoint names.

Solution: derive them automatically from constructor names of parameter datatype.

The manual derivation is also possible, but I'm not sure how the interface of it should look like.

In the current implementation, printLorentzContract gains one more argument which is used to tell the way of interpreting Lorentz parameter.

Tested on all contracts of the contract registry.

Not sure whether tzip should be updated, without automatically inserted type annotations the situation still seems to be sad.

Related issue(s)

https://issues.serokell.io/issue/TM-289

✅ Checklist for your Merge Request

Related changes (conditional)

• Tests (see short guidelines)

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

• Documentation

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

Stylistic guide (mandatory)

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