First baby step leading to compose implementation.
Completed the implementation of ProofStep.Compose().