DocLang: IBM's open bet that leaner documents can cut AI's token bill — type0 | type0