Enveloping $W*$-algebras