Update stupid formatter
Registration of singular Typesmart factory on a chain of wrapped Term Factories.