That sums it up
That pretty well sums up the topic of data types.
Some programming languages don't require data to be categorized into different types.
Alice does have that requirement.
However, Alice is less demanding than other languages such as Java, C++, and C# (particularly with respect to the Number type).