Theoretical Linguistics in the Pre-University Classroom