define-type -> deftype done.