WIP deftype