define-type no longer expects `|' subform