This package defines a `Char` type that has 128 constructors, one for each ASCII
character.