///|
type Message = @core.Message

///|
type Numbering = @document.Numbering

///|
type BreakType = @document.BreakType

///|
type DocumentElement = @document.DocumentElement