types2: add pretty instance for types