Checkpoint: Refactor algebra.Merge. Use nil signature.