Sections 1, 4

slightly modified *-structures in section 1;
started to insert the operator-algebraic construction in section 4;
both sections not yet finished.