Migrating Language.K3.Pretty* to Language.K3.Utils.Pretty