data types
syntax description
documenting type definition in Loli