Add pretty-printing for nagel