The define-type form is not documented.