Describir: The mathematics of syntactic structure