Ensure strings.
SIMPLIFY-JUSTIFICATION for lists.
REDUCE-TRIVIAL-EQUIVALENCES for pathnames.