make etags work for Definitions and Theorems, etc., in *.ts files