The Calculate choice of the Effect and ElectionEffect now takes a quantity as argument
to reflect the change in the Effect.I interface. The implementation of the ClaimEffect choice
body of Daml.Finance.Lifecycle.V4.Rule.Claim also changed accordingly.
Replaced lookupByKey by an exerciseByKey in the Distribution and Replacement rule.
Replaced providers : Parties with provider : Party in the Claim rule (i.e., in the
implementation only).