Noul ?
Presumably a technical term peculiar to a particular discipline. It's an inflected form of "nou" in Romanian which apparently might mean "new" — not that my Romanian is any better than my Swahili.
The Type AI docs page seem to define it as a "fuzzy" boolean. A new idea that, eh prof Zadeh.
Using LLMs to process labelled machine input, producing labelled machine output make more sense than most AI codswallop. The labelling might be viewed as assigning primative semantics to the syntactic atoms (I hesitate to use the word "token.")
You start to have an actual reasoning system once your formulae can be assigned meanings that are preserved under defined syntactic tranformations.
The weakest link in practical use is as always the human element.
Ultimately in wider use you still have to capture what the user is actually asking in a natural language — often incredibly difficult as another human — and converting it reliably to labelled atoms that the LLM can process might be the most difficult part
Finally producing natural language output would also have challenges — never underestimate the profound obtuseness of much of the population — that is without even considering cultural, language and societal factors.
I could see this might be useful in programming contexts. Easily (more or less) parsed into tokens, well defined (in principle) semantics, a chunk of code could be this type of system's preferred prey.