`Interest` MUST exist at least once. `InternalLoan` MUST exist at least once. `InternalLoan` MUST exist at least once. `InternalLoan` at end of period MUST be equal to `InternalLoan` at beginning of period - `Redemption` + `Contribution`. `Redemption` MUST exist at least once.