\document
	\typesystem#bla
		\struct#myParentStruct
			\field#i[type=int,default=1]
		\struct#myStruct[parent=myParentStruct]
			\field#s[type=string,default=""]
		\constant#C[type=myStruct, value=[4,"bla"]]
		\enum#myEnum
			\entry STRICT
			\entry FUZZY
			\entry PROBABILISTIC
	\ontology#test
		\struct#a[root=true]
			\attributes
				\attribute#type[type=myEnum]
			\primitive[type=myStruct]

\a[type=STRICT] C