Make the usage of field keyword consistent#658

carlostome merged 5 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom

656-make-the-usage-of-field-keyword-consistentIntersectMBO/formal-ledger-specifications:656-make-the-usage-of-field-keyword-consistentCopy head branch name to clipboard