A Boolean type is used for logical expression, consisting of the predefined values true and false. An integer is a primitive type representing integer values. A real is a primitive type representing the mathematical concept of real. A string is a sequence of characters in some suitable character set used to display information about the model. Character sets may include non-Roman alphabets and characters. An unlimited natural is a primitive type representing unlimited natural values.