Contract model operators for composition and merging: extensions and proofs