Analysis of properties related to the usage and occurrences of types.
typesInValuesAnalysis
:: Analysis [(String, String)]
showTypeNames
:: AOutFormat -> [(String, String)] -> String