module Word where
open import Word.Base public
-- TODO: Word.Properties