Improve pretty printing of ConDecl