Definition types

[mkualquiera]

Summary

While thinking in the shower, I realized that the language can be much more expandable if an arbitrary number of definition types is allowed.
In the implementation, this is reflected by definitions having a Word field that indicates their type.

Value

The language is better and easier to implement if this is the case

Specification

• Put more thought into it.
• Add the changes to the project specification: it should be stated that definitions can have any type, and this type is specified as a word.
• Increase spec version.