We should explain some code: - general scheme to define dedicated methods depending the usage of PartitionedVector parameters: `Val{true}` and `Val{false}`; - mention #23 to explain how the partitioned dot product is computed.