The
NormalizedText type is an abstract representation of text
which has had leading and trailing whitespace removed and been
normalized to lower-case, but from which we can still extract the
original, non-normalized version. This acts like the normalized text
for the purposes of
Eq and
Ord operations, so
normalize " x " == normalize "X"
This type is used to store section and key names in the