Subtipo en variables (para listas y pointers), verificación semántica de expresion a agregar a lista en add