What's Decidable about Sequences?