Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists