Formalist linguistics