Generate type annotations, for text editors