An operational construction of the sum of two non-commuting observables in quantum theory and related constructions