Updating: adding doc/EXAMPLE/ATSLIB/prelude_string.dats