Text this: Quantified CTL: Expressiveness and Complexity