Text this: On the Expressiveness and Complexity of ATL