Profesor Trávníček jako slovníkář a teoretik stylu