Fix printing of type declarations