(Under construction.)
type WordBool = Boolean (BitSizeOf (Word));
program WordBoolDemo; var a: WordBool; begin Word (a) := 1; if a then WriteLn ('Ord (True) = 1') end.