John of Cornwall — English educator and grammarian