Deftype element.