Add nice Show instances for QBF, Formula