Value-of [datatype], (some [datatype] value)
Value-of [datatype] and (some [datatype] value) keywords refer to a value of a given (user defined) data type. By combining with data property axioms, user-defined data-types can be created.
The example shows how to define a new type of data.
Every value-of lower-than-4-number is something lower-than 4.