Gregor typing as we speak