Add NA cmavo
Ignore /doc for now
WIP on using GHC.TypeLits instead of NatKind
Refactor Textful typeclass: separate the Eq constraint
Type-level Max function on naturals
A different implementaion of bridi (Bridi')