finishing deftype