Alloy pretty-printing.