[edit Terms] clean up stuff under (abstract) data type
Regardless of whether we abandon "abstract data type" in !21 (merged) , my impression of most its subclasses is that they are not specifications (the superclass of abstract data type). E.g. string is set as a subclass of abstract data type but its definition is not equivalent to "A data type (specification) which defines its set of valid values as one that consists of finite sequences of symbols".
Its hard for me to put into words but this string class should have been the "string data type" class and instead got confused with the "string value" class. And this then continues into the subclasses of "string" which are all no longer specifications but "values".
As part of this issue or a subsequent one I also suggest a new definition for "computational variable" because the old def does not make much sense to me. However, I might be misunderstanding the intention for creating this term, not sure...
def computational variable: An identifier that is used in computer code to refer to a datum or data.