done: deftype