mergeWith

infix fun Substitution.mergeWith(other: Substitution): Substitution