Nil Geisweiller

@vsbogd SimpleTruthValue has 2 values but other truth value types such as CountTruthValue have different numbers of values, this is thus why TruthValue inherits from `FloatValue` (note saying it is...

@vsbogd agreed, for instance generalized distributional truth values are not FloatSeq (more like float counter, or something). Also agreed about having FloatValue eventually representing single floating number rather than vector,...

Let's wait for @linas' feedback. And let me stress again that turning FloatValue into a single value will have to be in a separate PR, doing otherwise would be way...

@linas, I'm personally neutral on single value vs singleton vector, just consider that a single value takes at most 8 bytes, while an empty vector already takes 16 bytes. I...

Obviously one may ask, if `TruthValue` then why not `FloatValue`? My answer is: the notion of truth is rather abstract, it can be a boolean to an infinite order probability,...

But yeah these objects are generally called values, as opposed to atoms (though they can be as well), so maybe we can rename `FloatValue` to `FloatSeqValue` or `FloatsValue`.

I would vote for `FloatSeqValue` as well, because `Seq` tends to be used in the code to denote a list or a vector. And similarly I would go with `ProtoAtomSeqValue`....

Maybe for now work with a singleton vector, the representation for a DV might change anyway and we can revisit this sort of things when it appears that introducing a...

> Adding DistributionalValue type can make finding all usages of DV value simpler in future. I think we'll eventually want to do that, yeah. AtomSpace-MOSES also needs some form of...

@linas regarding renaming proto-atom, what about `Value`? In this case `LinkValue` would become `ValueSeqValue`, kinda weird but does the job IMO.