define-type