add pretty printing of types