Completed the implementation of ProofStep.Compose().