libsyntax: Pretty print using the new impl syntax