Named composites and their formal sector

The completion allows coefficients with no uniform word-length bound. It is not identified with finite words having arbitrary formal scalar coefficients. It contains $j_H({\mathcal{A}}_0(M)[[\kappa ]])$.