Johannes Gazæus, active 11th century, Grammaticus