Improve pretty printing of tactics