cosas

alias:
    TAD Persona es Nat

al evaluar, si no hay axiomas disponibles tirar un warning y cancelar la evaluacion

snippets
    al axiomatizar un observador te levante todos los generadores
    (se pueden hacer snippets dinamicos?)

go to definition con ctrl+click
    (ctags para vim? no se en monaco como se implementa esto)

parsear una expresion usando las secuencias de tokens conocidas
    hintear si te olvidaste del fi o del else

ver que este bien escrito el tad
    chequear restricciones
        que si trato de evaluar una expresion y no estoy cumpliendo la
        restriccion, sea un error

    chequear completitud de los observadores:
        todos los observadores tienen que estar bien definidos para todos
        los generadores (o para una instancia generica)

mostrar ejemplos de un axioma
    inventar valores para las variables, reemplazar y reducir la expresion de la derecha

export a latex

warning cuando no hay axiomas para evaluar

agregar un test donde inviertas el orden de los operadores y no muera

estaría bueno hacer bien el tema de los colores (Colorization.ts)
    agregar mas colores
    paleta mas linda
    que se sienta menos vacio

quizas hacer un flamegraph para visualizar mejor el arbol de la expresion

vs-services stuff:
    mensajes basicos:
        Se esperaba la definición de un TAD
        Nombre de TAD incompleto
        Se esperaba un FIN TAD

    autocomplete: tokens (facil)

    hover: te da info de lo que esté hovereado
        -

    definitions: control + click para navegar


mostar en algún lugar las cosas que asumimos:
    - tema parentesis y precedencia
    - los géneros de TADs con parámetros formales tienen que tener
      los parámetros entre paréntesis si o si

grammar sanity checks
    - que no haya dos tads con el mismo nombre


mejorar errores de parsing
    que es "o"? no será 0?
        si le pongo el mouse encima a la o subrayada y me dice "no se reconoce o"
        estaria bueno que eso salga abajo junto a "no parsea"

cuando se llega a una expr con nombre que no es un generador y esta axiomatizado decirlo explicitamente

rehacer parseOperacion (y agregar reporting en el camino)

hacer tests de secu :P

fix whitespace en genero
permitir multiples generos por expresion