Linear Order and Generative Theory