An order-theoretic approach to syntactic structure and transformations