5 takeaways: More policy, few punches in unusually civil GOP debate