Parenthetical reduction now steps into {} expressions and reduces only parentheticals with the proper degree.