Instantiated Functor for most of the data types used as states the stateful monads.
Got rid of the CFG class.
Redefined the 'Dao.String.UStrType' class so the there instances must define a one-to-one function from the polymorphic type to a 'Dao.String.UStr', and the inverse function must also be defined.