Made some tweaks to typography. While typefocus8 is still officially the latest, typefocus9 is work-in-progress.