Well-structured languages