Deftype support