Pretty-print FreeA