Possible and Probable Languages: A Generative Perspective on Linguistic Typology